Mind the Gap: Formal Verification and the Common Criteria
Beckert, Bernhard
; Bruns, Daniel; Grebing, Sarah
; Bruns, Daniel; Grebing, Sarah| 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: 2040-557X KITopen-ID: 1000069627 |
| HGF-Programm | 46.12.03 (POF II, LK 01) |
| Erschienen in | 6th International Verification Workshop – VERIFY-2010 - What are the verification problems? What are the deduction techniques? Edinburgh, Great Britain, July 20–21, 2010. Hrsg.: M. Aderhold |
| Verlag | EasyChair |
| Seiten | 4-12 |
| Serie | EPiC Series ; 3 |
| Projektinformation | KASTEL I (BMFTR, 01BY1172 / 16BY1172) |