Predicate Analysis with BLAST 2.7 - (Competition Contribution)
暂无分享,去创建一个
[1] Vadim Mutilin,et al. Static Verification “Under The Hood”: Implementation Details and Improvements of BLAST , 2011 .
[2] Evgeny Novikov,et al. Towards an Open Framework for C Verification Tools Benchmarking , 2011, Ershov Memorial Conference.
[3] Thomas A. Henzinger,et al. The software model checker B last : Applications to software engineering , 2007 .
[4] Michael J. Donahoo,et al. Under the Hood , 2009 .
[5] Thomas A. Henzinger,et al. Lazy abstraction , 2002, POPL '02.
[6] Rupak Majumdar,et al. Joining dataflow with predicates , 2005, ESEC/FSE-13.