Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution)
Title of conference publication:
Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020
Subtitle of conference publication:
26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
Series title:
Lecture Notes in Computer Science, LNCS
Series volume:
12079
Place of publication:
Cham, Switzerland
Publisher:
Springer
Year:
2020
Pages from - to:
378-382
Language:
Englisch
ISBN:
978-3-030-45236-0 ; 978-3-030-45237-7
Department:
Fakultät für Informatik
Institute:
INF 6 - Institut für Systemsicherheit
Chair:
Kinder, Johannes
Research Hub UniBw M:
CODE
Open Access yes or no?:
Ja / Yes
Type of OA license:
CC BY 4.0
Licence URL:
BibTeX