The BLAST query language for software verification

Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
[ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

Proceedings of the 11th International Static Analysis Symposium (SAS 2004, Verona, August 26-28)
LNCS 3148
Springer-Verlag, Heidelberg
Pages 2-18
2004
Note(s): model checking, BLAST verifier
Papers: beyer:ijsttt:2007