The software model checker BLAST: Applications to software engineering

Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
[doi] [Google Scholar] [DBLP] [Citeseer] [url]

International Journal on Software Tools for Technology Transfer (STTT) 9(5-6)
Pages 505-525
2007
Note(s): SV competition, extended static checking, model checking, BLAST verifier
Papers: beyer:sas:2004

BLAST verifier

  • CPAchecker: A tool for configurable software verification [beyer:cav:2011]
  • The BLAST query language for software verification [beyer:sas:2004]