The Verisoft Approach to Systems Verification
Authors:
- 25 September 2008
- book chapter
- Published by Springer Nature
- p. 209-224
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Formal Pervasive Verification of a Paging Mechanism2008
- Using XCAP to Certify Realistic Systems Code: Machine Context ManagementLecture Notes in Computer Science, 2007
- Towards trustworthy computing systemsACM SIGOPS Operating Systems Review, 2007
- Types, bytes, and separation logic2007
- Interpretation of Locales in Isabelle: Theories and Proof Contexts2006
- Integration of a Software Model Checker into IsabelleLecture Notes in Computer Science, 2005
- PSOS revisited2004
- Locales and Locale Expressions in Isabelle/Isar2004
- A Grand Challenge Proposal for Formal Methods: A Verified Stack2003
- Specification and verification of the UCLA Unix security kernelCommunications of the ACM, 1980