Operating System Verification - An Overview

Select |




Print


Klein, Gerwin

Klein, Gerwin


2009-02-25


Journal Article


Sadhana


34


1


26-69


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 machine-checked code proofs, and describe one specific ongoing larger-scale verification project in more detail.


Formal Software Verification, Operating Systems, Theorem Proving


http://www.springer.com/engineering/journal/12046


nicta:955


Klein, Gerwin. Operating System Verification - An Overview. Sadhana. 2009-02-25; 34(1):26-69.



Loading citation data...

Citation counts
(Requires subscription to view)