Operating System Verification — An Overview

  title={Operating System Verification — An Overview},
  author={Gerwin Klein},
This paper gives a high-level introduction to the topic of formal, interactive, machine-checked software verification in general, and the verification of operating systems code in particular. We survey the state of the art, the advantages and limitations of machinechecked code proofs, and describe two specific ongoing larger-scale verification projects in more detail. 
Highly Cited
This paper has 121 citations. REVIEW CITATIONS
80 Citations
139 References
Similar Papers


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 139 references

VAMOS microkernel, formal models and verification, in ‘Talk given at the 2nd International Workshop on System Verification (SV 2006)

  • J. Dörrenbächer
  • 2006
Highly Influential
9 Excerpts

Similar Papers

Loading similar papers…