1054 search results - page 1 / 211 » From a Verified Kernel towards Verified Systems |
APLAS
2010
ACM
13 years 6 months ago
2010
ACM
HOTOS
2007
IEEE
13 years 11 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
SOSP
2005
ACM
14 years 4 months ago
2005
ACM
We propose a primitive, called Pioneer, as a first step towards verifiable code execution on untrusted legacy hosts. Pioneer does not require any hardware support such as secure...
ENTCS
2008
13 years 7 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
