R. S. Boyer and J S. Moore. A verification condition generator for FORTRAN. In R. S. Boyer and J S. Moore, editors, The Correctness Problem in Computer Science. Academic Press, London, 1981. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Reasoning Theories - Towards an Architecture for Open.. - Giunchiglia.. (1994) (28 citations) (Correct)
Reasoning Theories - Towards an Architecture for Open .. - Giunchiglia.. (1994) (28 citations) (Correct)
Automated Proofs of Object Code for a Widely Used Microprocessor - Yu (1992) (20 citations) (Correct)
Open Mechanized Reasoning Systems - McCarthy, Giunchiglia, Talcott (1992) (Correct)
Should We Begin a Standardization Process for Interface Logics? - Kaufmann, Moore (1992) (1 citation) (Correct)
PROSPECTUS - Sound Foundations for Effective Proofs of Programs - Homeier (Correct)
CHAPTER 15 Conclusions - Ghin- Koe Strong's (Correct)
Formal Methods - Selected Historical References - Jones, McCauley (1992) (1 citation) (Correct)
Automated Proofs of Object Code for a Widely Used Microprocessor - Yu (1992) (20 citations) Self-citation (Boyer Moore) (Correct)
Automated Proofs of Object Code for a Widely Used Microprocessor - Yu (1992) (20 citations) Self-citation (Boyer Moore) (Correct)
A Fast Majority Vote Algorithm - Moore (1981) (4 citations) Self-citation (Moore) (Correct)
An Approach to Systems Verification - William Bevier Warren (1989) (34 citations) Self-citation (Moore) (Correct)
Proof Checking the RSA Public Key Encryption Algorithm - Boyer, Moore (1984) (10 citations) Self-citation (Boyer Moore) (Correct)
The Use Of A Formal Simulator To Verify A Simple Real Time.. - Boyer, Green, Moore (1990) (1 citation) Self-citation (Boyer Moore) (Correct)
Integrating Decision Procedures into Heuristic Theorem.. - Boyer, Moore (1985) (95 citations) Self-citation (Boyer Moore) (Correct)
Proof Checking the RSA Public Key Encryption Algorithm - Boyer, Moore (1984) (10 citations) Self-citation (Boyer Moore) (Correct)
The Boyer-Moore Theorem Prover and Its Interactive Enhancement - Boyer, Kaufmann, Moore (1995) (19 citations) Self-citation (Boyer Moore) (Correct)
Program Verification - Boyer, Moore (1985) Self-citation (Boyer Moore) (Correct)
A Mechanically Verified Language Implementation - Strother Moore (1989) (26 citations) Self-citation (Moore) (Correct)
MJRTY - A Fast Majority Vote Algorithm - Boyer, Moore (1982) (12 citations) Self-citation (Boyer Moore) (Correct)
A Theorem Prover for a Computational Logic - Boyer, Moore (1990) (22 citations) Self-citation (Boyer Moore) (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