Mind the Gap
- 1 January 2009
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Secure Microkernels, State Monads and Scalable RefinementLecture Notes in Computer Science, 2008
- KeY-C: A Tool for Verification of C ProgramsLecture Notes in Computer Science, 2007
- Running the manualPublished by Association for Computing Machinery (ACM) ,2006
- Formal Verification of Security Properties of Smart Card Embedded Source CodeLecture Notes in Computer Science, 2005
- Multi-prover Verification of C ProgramsLecture Notes in Computer Science, 2004
- Isabelle/HOLPublished by Springer Science and Business Media LLC ,2002
- Data RefinementPublished by Cambridge University Press (CUP) ,1998
- Kit: a study in operating system verificationIEEE Transactions on Software Engineering, 1989
- Specification and verification of the UCLA Unix security kernelCommunications of the ACM, 1980
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975