The Blast Query Language for Software Verification..

Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar

Browse the full SAS paper archive.