Michael Hohmuth, Hendrik Tews, Shane G. Stephens. Applying source-code verification to a microkernel: the VFiasco project. In Gilles Muller, Eric Jul, editors, Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002. pages 165-169, ACM, 2002. [doi]
Abstract is missing.