D. Schmidt, Data- ow analysis is model checking of abstract interpretations, in: Symp. on Princ. of Prog. Lang., ACM Press, New York, NY, 1998, pp. 38-48. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Correctness of Classical Compiler Optimizations using CTL - Frederiksen (2002) (Correct)
Verified Bytecode Model Checkers - Basin, Friedrich, Gawkowski (2002) (5 citations) (Correct)
Bytecode Model Checking: An Experimental Analysis - Basin, Friedrich, Gawkowski, .. (2002) (3 citations) (Correct)
Proving Correctness of Compiler Optimizations by.. - Lacey, Jones, Van Wyk.. (2002) (13 citations) (Correct)
Java Bytecode Verification: An Overview - Leroy (2001) (26 citations) (Correct)
Incompleteness, Counterexamples and Refinements in Abstract.. - Giacobazzi, al. (Correct)
Automatically Validating Temporal Safety Properties of Interfaces - Ball, Rajamani (2001) (101 citations) (Correct)
Abstraction of Link Structures by Regular Expressions and.. - Takahashi, al. (2000) (Correct)
Checking Temporal Properties of Software with Boolean Programs - Ball, Rajamani (2000) (16 citations) (Correct)
Bebop: A Symbolic Model Checker for Boolean Programs - Ball, Rajamani (2000) (63 citations) (Correct)
Checking Temporal Properties of Software with Boolean Programs - Ball, Rajamani (2000) (16 citations) (Correct)
Weighted Pushdown Systems and their - Application To Interprocedural (Correct)
On Checking Temporal Properties of Software with Boolean Programs - Martin (2000) (Correct)
Automatically Proving the Correctness of Compiler.. - Lerner, Millstein.. (2003) (5 citations) (Correct)
On Checking Temporal Properties of Software with Boolean Programs - Martin (2000) (Correct)
Structure-Preserving Binary Relations for Program Abstraction - Schmidt (2002) (1 citation) Self-citation (Schmidt) (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