Software verification with blast (2003)

by T Henzinger, R Jhala, R Majumdar, G Sutre
Venue:In Proc. of 10th Workshop on Model Checking of Software (SPIN