The software model checker BLAST Applications to software engineering
ESP: path-sensitive program verification in polynomial time