Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
predicate_abstraction [2007/03/31 18:18] lvariu |
predicate_abstraction [2007/03/31 18:22] lvariu |
||
---|---|---|---|
Line 6: | Line 6: | ||
* Boolean and Cartesian Abstraction for Model Checking C Programs, Thomas Ball, Andreas Podelski, Sriram K. Rajamani. TACAS 2001: 268-283 | * Boolean and Cartesian Abstraction for Model Checking C Programs, Thomas Ball, Andreas Podelski, Sriram K. Rajamani. TACAS 2001: 268-283 | ||
* [[http://doi.acm.org/10.1145/378795.378846|Automatic Predicate Abstraction of C Programs, Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani. PLDI 2001: 203-213]] | * [[http://doi.acm.org/10.1145/378795.378846|Automatic Predicate Abstraction of C Programs, Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani. PLDI 2001: 203-213]] | ||
- | * Bebop: a path-sensitive interprocedural dataflow engine, Thomas Ball, Sriram K. Rajamani. PASTE 2001: 97-103 | + | * [[http://doi.acm.org/10.1145/379605.379690|Bebop: a path-sensitive interprocedural dataflow engine, Thomas Ball, Sriram K. Rajamani. PASTE 2001: 97-103]] |
* [[http://doi.acm.org/10.1145/503272.503291|Predicate abstraction for software verification]] | * [[http://doi.acm.org/10.1145/503272.503291|Predicate abstraction for software verification]] | ||
* [[http://mtc.epfl.ch/~tah/Publications/lazy_abstraction.html|Lazy abstraction]] | * [[http://mtc.epfl.ch/~tah/Publications/lazy_abstraction.html|Lazy abstraction]] | ||
* [[http://mtc.epfl.ch/~tah/Publications/abstractions_from_proofs.html|Asbtractions from proofs]] | * [[http://mtc.epfl.ch/~tah/Publications/abstractions_from_proofs.html|Asbtractions from proofs]] | ||