D. L. Clutterbuck and B. A. Carre. The verification of low-level code. Software Engineering Journal, 3(3):97--111, May 1988. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Generating Decompilers - Breuer, Bowen (1998) (Correct)
Safety-Critical Systems, Formal Methods and Standards - Bowen, Stavridou (1993) (11 citations) (Correct)
Automated Proofs of Object Code for a Widely Used Microprocessor - Yu (1992) (20 citations) (Correct)
Automated Proofs of Object Code for a Widely Used Microprocessor - Yu (1992) (20 citations) (Correct)
Automated Proofs of Object Code for a Widely Used Microprocessor - Boyer, Yu (1996) (25 citations) (Correct)
The Code Validation Tool (CVT) - Automatic verification .. - Pnueli, Shtrichman.. (Correct)
Translation Validation: From SIGNAL to C - Pnueli, Shtrichman, Siegel (1999) (1 citation) (Correct)
The Verified Compilation of Vista Programs - Curzon (1994) (7 citations) (Correct)
Automated Proofs of Object Code for a Widely Used Microprocessor - Yu (1992) (20 citations) (Correct)
A Verified Vista Implementation - Curzon (1993) (2 citations) (Correct)
Symbolic Safety Analysis of Memory Accesses Within Loops - Christopher (Correct)
Generating Decompilers - Breuer, Bowen (1992) (Correct)
Proof-Carrying Code - Necula, Lee (1996) (549 citations) (Correct)
Proof-Carrying Code - Necula (1997) (549 citations) (Correct)
Safety-Critical Systems, Formal Methods and Standards - Bowen, Stavridou (1993) (11 citations) (Correct)
Of What Use is a Verified Compiler Specification? - Curzon (1992) (1 citation) (Correct)
Safe Kernel Extensions Without Run-Time Checking - Necula, Lee (1996) (254 citations) (Correct)
Generating Decompilers - Breuer, Bowen (1998) (Correct)
Decompilation: The Enumeration of Types and Grammars - Breuer, Bowen (1992) (4 citations) (Correct)
Symbolic Interpretation of Legacy Assembly Language - Jacques Carette Pulak (Correct)
Automated Correctness Proofs of Machine Code Programs for a.. - Boyer, Yu (1992) (23 citations) (Correct)
Experiences with Proof in a Formal Development - Clutterbuck, Bicarregui.. (1996) (1 citation) Self-citation (Clutterbuck) (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