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
ACM
Pages 165-169
2002
Topic(s): verification os