1. A decade of software model checking with SLAM;Ball;Commun. ACM,2011
2. Second competition on software verification (summary of SV-COMP 2013);Beyer,2013
3. The software model checker Blast: applications to software engineering;Beyer;Int. J. Softw. Tools Technol. Transf.,2007
4. Program verification as satisfiability modulo theories;Bjørner,2012
5. Grammar-related transformations of logic programs;Brough;New Gener. Comput.,1991