82
Voted
HOTOS
2007
IEEE
15 years 21 days 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...