KIT | KIT-Bibliothek | Impressum | Datenschutz

An Efficient VCGen-Based Modular Verification of Relational Properties

Blatter, Lionel 1; Kosmatov, Nikolai ; Prevosto, Virgile; Le Gall, Pascale
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)


Download
Originalveröffentlichung
DOI: 10.1007/978-3-031-19849-6_28
Scopus
Zitationen: 2
Dimensions
Zitationen: 3
Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2022
Sprache Englisch
Identifikator ISBN: 978-3-031-19849-6
ISSN: 0302-9743, 1611-3349
KITopen-ID: 1000153562
Erschienen in Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles – 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. Ed.: T. Margaria
Veranstaltung 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2022), Rhodos, Griechenland, 22.10.2022 – 30.10.2022
Verlag Springer International Publishing
Seiten 498–516
Serie Lecture Notes in Computer Science (LNCS) ; 13701
Vorab online veröffentlicht am 17.10.2022
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page