Kit: A Study in Operating System Verification (1989)

Cached

Download Links

by William R. Bevier
Citations:58 - 0 self

Documents Related by Co-Citation

56 Specification and verification of the UCLA Unix security kernel – B J Walker, R A Kemmerer, G J Popek - 1980
395 A Computational Logic Handbook – R S Boyer, J S Moore - 1988
17 Modelization and Verification of a Multiprocessor Realtime OS Kernel – Thierry Cattel, Thierry Cattel - 1994
340 On µ-kernel construction – Jochen Liedtke - 1995
718 Isabelle/HOL — A Proof Assistant for HigherOrder Logic – T Nipkow, L C Paulson, M Wenzel - 2002
149 Data refinement: model-oriented proof methods and their comparison – de Roever WP, K Engelhardt - 1998
25 The VFiasco Approach for a Verified Operating System – M Hohmuth, H Tews
21 Running the manual: An approach to high-assurance microkernel development – Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty - 2006
68 An Approach to Systems Verification – William Bevier , Warren A. Hunt Jr., J Strother Moore, William D. Young - 1989
9 Modeling and Verification of the RUBIS µ-Kernel with SPIN – Gregory Duval, Jacques Julliand - 1995
19 Formal Methods: A Practical Tool for OS Implementors – Patrick Tullmann, Jeff Turner, John Mccorquodale, Jay Lepreau, Ajay Chitturi, Godmar Back - 1997
45 A Provably Secure Operating System: The system, its applications, and proofs – P G Neumann, R S Boyer, R J Feiertag, K N Levitt, L Robinson - 1980
22 On the correctness of operating system kernels – Mauro Gargano, Mark Hillebrand, Dirk Leinenbach, Wolfgang Paul
25 Towards a practical, verified kernel – Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe - 2007
705 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
32 The foundations of a provably secure operating system (PSOS) – Richard J. Feiertag, Peter G. Neumann - 1979
26 OS verification — now – Harvey Tuch, Gerwin Klein, Gernot Heiser - 2005
29 Applying source-code verification to a microkernel -- The VFiasco project – Michael Hohmuth, Hendrik Tews, Shane G. Stephens - 2002
44 A User's Manual for an Interactive Enhancement to the Boyer-Moore Theorem Prover – Matt Kaufmann - 1988