Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
Lanzinger, Florian
1,2; Martin, Christian 1,2; Reiche, Frederik 1,2; Teuber, Samuel
2; Heinrich, Robert 2; Weigl, Alexander
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)
1,2; Martin, Christian 1,2; Reiche, Frederik 1,2; Teuber, Samuel
2; Heinrich, Robert 2; Weigl, Alexander
21 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 |