Lessons Learned From Microkernel Verification: Specification is the New Bottleneck
Baumann, Christoph; Beckert, Bernhard
; Blasum, Holger; Bormer, Thorsten
; Blasum, Holger; Bormer, Thorsten| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2012 |
| Sprache | Englisch |
| Identifikator | ISSN: 2075-2180 KITopen-ID: 1000069624 |
| HGF-Programm | 46.12.03 (POF II, LK 01) |
| Erschienen in | Seventh Conference on Systems Software Verification (SSV), Sydney, Australia, 28-30 November 2012. Ed.: F. Cassez |
| Verlag | NICTA |
| Seiten | 18-32 |
| Serie | Electronic Proceedings in Theoretical Computer Science ; 102 |
| Projektinformation | KASTEL I (BMFTR, 01BY1172 / 16BY1172) |