Formalising a High-Performance Microkernel (2006)

by Kevin Elphinstone , Gerwin Klein , Rafal Kolanski
Venue:WORKSHOP ON VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS (VSTTE 06), MICROSOFT RESEARCH TECHNICAL REPORT MSR-TR2006-117
Citations:5 - 2 self

Documents Related by Co-Citation

349 On ยต-kernel construction – Jochen Liedtke - 1995
739 L.: Isabelle/HOL: a proof assistant for higher-order logic – T Nipkow, M Wenzel, Paulson - 2002
734 Notions of Computation and Monads – Eugenio Moggi - 1991
736 Security policies and security models – J Goguen, J Meseguer
611 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David MacQueen - 1997
590 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
576 Assigning meanings to programs – R W Floyd
482 Interactive Theorem Proving and Program Development – Y, P Casteran - 2004
112 Noninterference, transitivity and channel-control security policies – John Rushby - 1992