200
click to vote
HOTOS
2007
IEEE
16 years 5 hour 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...