J. Joyce, G. Birtwistle, and M. Gordon. Proving a computer correct in higher order logic. Technical Report 100, University of Cambridge, Computer Laboratory, December 1986. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Automatic Generation of Invariants in Processor Verification - Su, Dill, Barrett (1996) (2 citations) (Correct)
Automatic Verification of Pipelined Microprocessor Control - Burch, Dill (1994) (97 citations) (Correct)
Proof Planning Methods as Schemas - Richardson, Bundy (1999) (Correct)
Theorem Proving: Not an Esoteric Diversion, but the Unifying.. - Cyrluk, Srivas (1995) (3 citations) (Correct)
Microprocessor Verification: A Tutorial - Michael Coe Phillip (1994) (4 citations) (Correct)
Embedding Hardware Design and Description Languages in Proof.. - Goossens (1989) (Correct)
A Methodology for Formal Hardware Verification, with Application.. - Beatty (1993) (11 citations) (Correct)
Structure and Behaviour in Hardware Verification - Goossens (1993) (Correct)
Embedding Hardware Description Languages in Proof Systems - Goossens (1992) (2 citations) (Correct)
Effective Theorem Proving for Hardware Verification - Cyrluk, Rajan, Shankar, Srivas (1994) (29 citations) (Correct)
Ground Temporal Logic: A Logic for Hardware Verification - Cyrluk, Narendran (1994) (8 citations) (Correct)
Experiments in Automating Hardware Verification using.. - Cantu, Bundy, Smaill.. (1996) (2 citations) (Correct)
A Practical Method for Rigorously Controllable Hardware Design - Börger, Mazzanti (1996) (3 citations) (Correct)
An Overview of the Formal Specification and Verification of.. - Brock, Hunt, Jr. (1994) (1 citation) (Correct)
A Correctness Proof for Pipelining in RISC Architectures - Börger, Mazzanti (1996) (9 citations) (Correct)
Multiway Decision Graphs for Automated Hardware.. - Corella, Zhou, Song.. (1996) (45 citations) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC