Kit: A Study in Operating System Verification (1989)

Cached

Download Links

by William R. Bevier
Citations:58 - 0 self

Active Bibliography

30 A Verified Operating System Kernel – William R. Bevier - 1987
3 The Role of Automated Reasoning in Integrated System Verification Environments – Donald I. Good, Matt Kaufmann, J Strother Moore - 1992
16 Architectures and Formal Representations for Secure Systems – Peter G. Neumann - 1995
142 Formal models for computer security – Carl E. Landwehr - 1981
1 The FM9001 microprocessor proof – Matt Kaufmann - 1994
3 An Overview of the Formal Specification and Verification of the FM9001 Microprocessor – Bishop C. Brock, Warren A. Hunt, Jr. - 1994
122 Design and Verification Of Secure Systems – John Rushby - 1981
Provably Correct Systems - FTRTFT'94 Tutorial – Jonathan P. Bowen, C. A. R. Hoare, Michael R. Hansen, Anders P. Ravn, Hans Rischel, Ernst-Rüdiger Olderog, Michael Schenke, Markus Müller-Ulm, Martin Fränzle, Markus Muller-olm, Jifeng He, Zheng Jianping - 1994
14 Theft of information in the take-grant protection model – Matt Bishop, Matt Bishop - 1988
12 Report on the Formal Specification and Partial Verification of the VIPER Microprocessor – Bishop Brock , Warren A. Hunt, Jr. - 1990
1 FOUNDATIONS OF WEB SCRIPT SECURITY – Aaron Bohannon - 2012
30 A mechanically verified code generator – William D. Young - 1989
24 A Theorem Prover for a Computational Logic – Robert S. Boyer, J Strother Moore - 1990
36 Design Goals for ACL2 – Matt Kaufmann, J Strother Moore - 1994
32 Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor – Robert S. Boyer, Yuan Yu - 1991
78 Automated Proofs of Object Code for a Widely Used Microprocessor – Yuan Yu - 1992
30 The Boyer-Moore Theorem Prover and Its Interactive Enhancement – Robert S. Boyer, Matt Kaufmann, J Strother Moore - 1995
16 Operating System Verification — An Overview – Gerwin Klein
2 Comparing Gypsy and the Boyer-Moore logic for specifying secure systems – Matt Kaufmann, William D. Young - 1987