|
55
|
Kit: A Study in Operating System Verification
– William R. Bevier
- 1989
|
|
2
|
Comparing Gypsy and the Boyer-Moore logic for specifying secure systems
– Matt Kaufmann, William D. Young
- 1987
|
|
22
|
A Verified Code Generator For A Subset Of Gypsy
– William D. Young, William D. Young, William D. Young
- 1988
|
|
27
|
The Boyer-Moore Theorem Prover and Its Interactive Enhancement
– Robert S. Boyer, Matt Kaufmann, J Strother Moore
- 1995
|
|
133
|
Formal models for computer security
– Carl E. Landwehr
- 1981
|
|
22
|
A Theorem Prover for a Computational Logic
– Robert S. Boyer, J Strother Moore
- 1990
|
|
104
|
Design and Verification Of Secure Systems
– John Rushby
- 1981
|
|
14
|
Theft of information in the take-grant protection model
– Matt Bishop, Matt Bishop
- 1988
|
|
14
|
Program verification
– Robert S. Boyer, J Strother Moore
- 1985
|
|
3
|
A layered approach to simplified access control in virtualized systems
– Bryan D. Payne, Ron Perez, Reiner Sailer, Wenke Lee, Ramón Cáceres
- 2007
|
|
1
|
A Mechanically Verified Proof System for Concurrent Programs
– David M. Goldschlag
- 1989
|
|
7
|
MECHANICALLY VERIFYING CONCURRENT PROGRAMS
– David Moshe Goldschlag
- 1992
|
|
31
|
Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor
– Robert S. Boyer, Yuan Yu
- 1991
|
|
35
|
Design Goals for ACL2
– Matt Kaufmann, J Strother Moore
- 1994
|
|
28
|
Mechanized Formal Reasoning about Programs and Computing Machines
– Robert S. Boyer, J Strother Moore
- 1996
|
|
3
|
The Role of Automated Reasoning in Integrated System Verification Environments
– Donald I. Good, Matt Kaufmann, J Strother Moore
- 1992
|
|
2
|
The Distributed Compartment Model for Resource Management and Access Control
– Steven J. Greenwald, Richard E. Newman-Wolfe, Key To Symbols
- 1994
|
|
32
|
Modular Data Structure Verification
– Martin C. Rinard
- 2007
|
|
14
|
The Early Search for Tractable Ways of Reasoning About Programs
– C. B. Jones
- 2003
|
