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