Applying source-code verification to a microkernel: the VFiasco project

Michael Hohmuth, Hendrik Tews, Shane G. Stephens
[doi] [Google Scholar] [DBLP] [Citeseer]

Proceedings of the 10th workshop on ACM SIGOPS European workshop
ACM
Pages 165-169
2002
Topic(s): verification os