Papers related to Software verification with BLAST
- Automatic predicate abstraction of C programs [ball:pldi:2001]
Software verification with BLAST
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Model Checking Software
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 235-239
2003
Note(s): model checking, CEGAR
Papers: necula:cc:2002, ball:pldi:2001
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 235-239
2003
Note(s): model checking, CEGAR
Papers: necula:cc:2002, ball:pldi:2001