KIT | KIT-Bibliothek | Impressum | Datenschutz

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis

Lanzinger, Florian ORCID iD icon 1,2; Martin, Christian 1,2; Reiche, Frederik ORCID iD icon 1,2; Teuber, Samuel ORCID iD icon 2; Heinrich, Robert 2; Weigl, Alexander ORCID iD icon 2
1 Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL), Karlsruher Institut für Technologie (KIT)
2 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)

Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsdatum 08.04.2024
Sprache Englisch
Identifikator ISBN: 979-8-4007-0243-3
KITopen-ID: 1000170878
HGF-Programm 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems
Weitere HGF-Programme 46.23.02 (POF IV, LK 01) Engineering Security for Energy Systems
Erschienen in SAC '24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing. Ed.: J. Hong
Veranstaltung 39th ACM/SIGAPP Symposium on Applied Computing (SAC 2024), Ávila, Spanien, 08.04.2024 – 12.04.2024
Verlag Association for Computing Machinery (ACM)
Seiten 1702–1711
Nachgewiesen in Dimensions
Scopus
OpenAlex
Globale Ziele für nachhaltige Entwicklung Ziel 7 – Bezahlbare und saubere Energie

Verlagsausgabe §
DOI: 10.5445/IR/1000170878/pub
Veröffentlicht am 24.05.2024
Postprint §
DOI: 10.5445/IR/1000170878
Frei zugänglich ab 09.04.2025
Originalveröffentlichung
DOI: 10.1145/3605098.3636008
Dimensions
Zitationen: 1
Seitenaufrufe: 145
seit 24.05.2024
Downloads: 68
seit 28.05.2024
Cover der Publikation
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page