暂无分享,去创建一个
[1] Daniel Kroening,et al. A Tool for Checking ANSI-C Programs , 2004, TACAS.
[2] Armin Biere,et al. Symbolic Model Checking without BDDs , 1999, TACAS.
[3] Michael W. Godfrey,et al. Evolution in open source software: a case study , 2000, Proceedings 2000 International Conference on Software Maintenance.
[4] Daniel Kroening,et al. Software Verification Using k-Induction , 2011, SAS.
[5] Sean Heelan,et al. SMT Solvers in Software Security , 2012, WOOT.
[6] Daniel Kroening,et al. Safety Verification and Refutation by k-Invariants and k-Induction , 2015, SAS.
[7] Mary Sheeran,et al. Checking Safety Properties Using Induction and a SAT-Solver , 2000, FMCAD.
[8] Daniel Kroening,et al. Behavioral consistency of C and Verilog programs using bounded model checking , 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).
[9] Nikolaj Bjrner,et al. Applications of SMT solvers to Program Verication , 2014 .
[10] Richard T. Snodgrass,et al. Micro-Specialization in DBMSes , 2012, 2012 IEEE 28th International Conference on Data Engineering.