The software model checker BLAST Applications to software engineering
Bandera: extracting finite-state models from Java source code