K-induction without unrolling
暂无分享,去创建一个
[1] Mary Sheeran,et al. Checking Safety Properties Using Induction and a SAT-Solver , 2000, FMCAD.
[2] Jason Baumgartner,et al. Scalable Automated Verification via Expert-System Guided Transformations , 2004, FMCAD.
[3] Bruno Dutertre,et al. Property-directed k-induction , 2016, 2016 Formal Methods in Computer-Aided Design (FMCAD).
[4] Nikolaj Bjørner,et al. Horn Clause Solvers for Program Verification , 2015, Fields of Logic and Computation II.
[5] Robert K. Brayton,et al. ABC: An Academic Industrial-Strength Verification Tool , 2010, CAV.
[6] Marco Roveri,et al. Comparing Different Variants of the ic3 Algorithm for Hardware Model Checking , 2016, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[7] Aaron R. Bradley,et al. SAT-Based Model Checking without Unrolling , 2011, VMCAI.
[8] Arie Gurfinkel,et al. Pushing to the top , 2015, 2015 Formal Methods in Computer-Aided Design (FMCAD).
[9] Fabio Somenzi,et al. Better generalization in IC3 , 2013, 2013 Formal Methods in Computer-Aided Design.
[10] Cesare Tinelli,et al. PKind: A parallel k-induction based model checker , 2011, PDMC.
[11] Daniel Kroening,et al. Safety Verification and Refutation by k-Invariants and k-Induction , 2015, SAS.
[12] Robert K. Brayton,et al. Efficient implementation of property directed reachability , 2011, 2011 Formal Methods in Computer-Aided Design (FMCAD).
[13] Alberto Griggio,et al. Software Model Checking via IC3 , 2012, CAV.