Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Dartagnan: SMT-based Violation Witness Validation (Competition Contribution)
Herausgeber Sammlung:
Fisman, Dana; Rosu, Grigore
Titel Konferenzpublikation:
Tools and Algorithms for the Construction and Analysis of Systems
Untertitel Konferenzpublikation:
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
Reihentitel:
Lecture Notes in Computer Science
Bandnummer Reihe:
13244
Konferenztitel:
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (28., 2022, München)
Tagungsort:
München
Jahr der Konferenz:
2022
Datum Beginn der Konferenz:
02.04.2022
Datum Ende der Konferenz:
07.04.2022
Verlagsort:
Cham
Verlag:
Springer
Jahr:
2022
Seiten von - bis:
418-423
Sprache:
Englisch
ISBN:
978-3-030-99526-3 ; 978-3-030-99527-0
URL zum Inhalt:
Fakultät:
Fakultät für Informatik
Institut:
INF 6 - Institut für Systemsicherheit
Professur:
Kinder, Johannes
(Forschungs)einrichtung UniBw M:
CODE
Open Access ja oder nein?:
Ja / Yes
Art der OA-Lizenz:
CC BY 4.0
URL zur Lizenz:
BibTeX
PDF