From Operating-System Correctness to Pervasively Verified Applications
Authors:
- 1 January 2010
- book chapter
- Published by Springer Nature
- p. 105-120
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Balancing the LoadJournal of Automated Reasoning, 2009
- Operating system verification—An overviewSādhanā, 2009
- The Verisoft Approach to Systems Verification2008
- Putting it all together – Formal verification of the VAMPInternational Journal on Software Tools for Technology Transfer, 2006
- A Verification Environment for Sequential Imperative Programs in Isabelle/HOLLecture Notes in Computer Science, 2005
- Isabelle/HOL2002
- TTP-a protocol for fault-tolerant real-time systemsComputer, 1994