An Approach to Systems Verification (1989)

Cached

Download Links

by William Bevier , Warren A. Hunt Jr. , J Strother Moore , William D. Young
Venue:JOURNAL OF AUTOMATED REASONING
Citations:68 - 7 self

Active Bibliography

24 A Theorem Prover for a Computational Logic – Robert S. Boyer, J Strother Moore - 1990
30 The Boyer-Moore Theorem Prover and Its Interactive Enhancement – Robert S. Boyer, Matt Kaufmann, J Strother Moore - 1995
14 Program verification – Robert S. Boyer, J Strother Moore - 1985
107 Integrating decision procedures into heuristic theorem provers: A case study of linear arithmetic – Robert S. Boyer, J Strother Moore - 1988
24 The Boyer-Moore Prover and Nuprl: An Experimental Comparison – David Basin , Matt Kaufmann - 1991
22 Proof checking the RSA public key encryption algorithm – Robert S. Boyer, J Strother Moore - 1984
1 Machine-Checked Real-Time System Verificatio – Matthew Michael Wilding, Matthew Michael Wilding, Supervisors Robert, S. Boyer, Aloysius K. Mok - 1996
30 A mechanically verified code generator – William D. Young - 1989
1 A Mechanically Verified Proof System for Concurrent Programs – David M. Goldschlag - 1989
3 Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits. Computer Aided Verification – David M. Goldschlag - 1991
2 Generalization in the presence of free variables: A mechanically-checked proof for one algorithm – Matt Kaufmann - 1991
14 Interaction with the Boyer-Moore Theorem Prover: A Tutorial Study Using the Arithmetic-Geometric Mean Theorem – Matt Kaufmann , Paolo Pecchiari - 1994
36 Design Goals for ACL2 – Matt Kaufmann, J Strother Moore - 1994
58 ACL2: An Industrial Strength Version of Nqthm – Matt Kaufmann, J. Strother Moore - 1996
30 A Verified Operating System Kernel – William R. Bevier - 1987
8 The Use of a Formal Simulator to Verify a Simple Real Time Control Program – Robert S. Boyer, Milton W. Green, J Strother Moore - 1990
6 Towards the Generation of Efficient Code from Verified Programs – John Mchugh - 1984
15 A mechanical proof of the unsolvability of the halting problem – Robert S. Boyer, J Strother Moore - 1984
7 MECHANICALLY VERIFYING CONCURRENT PROGRAMS – David Moshe Goldschlag - 1992