Martin Decký. A Road to a Formally Verified General-Purpose Operating System. In Holger Giese, editor, Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings. Volume 6150 of Lecture Notes in Computer Science, pages 72-88, Springer, 2010. [doi]
Abstract is missing.