A Framework for the Interoperable Specification and Verification of Encapsulated Data Structures
Pfeifer, Wolfram
1; Ulbrich, Mattias
1; Dietl, Werner
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
1; Ulbrich, Mattias
1; Dietl, Werner1 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) |
| Publikationstyp | Forschungsbericht/Preprint |
| Publikationsdatum | 02.03.2026 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 1000191071 |
| Umfang | 28 S. |