Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Dartagnan: SMT-based Violation Witness Validation (Competition Contribution)
Collection editors:
Fisman, Dana; Rosu, Grigore
Title of conference publication:
Tools and Algorithms for the Construction and Analysis of Systems
Subtitle of conference publication:
28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
Series title:
Lecture Notes in Computer Science
Series volume:
13244
Conference title:
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (28., 2022, München)
Venue:
München
Year of conference:
2022
Date of conference beginning:
02.04.2022
Date of conference ending:
07.04.2022
Place of publication:
Cham
Publisher:
Springer
Year:
2022
Pages from - to:
418-423
Language:
Englisch
ISBN:
978-3-030-99526-3 ; 978-3-030-99527-0
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
PDF