IC3-guided abstraction
暂无分享,去创建一个
[1] Kenneth L. McMillan,et al. A Hybrid of Counterexample-Based and Proof-Based Abstraction , 2004, FMCAD.
[2] Jason Baumgartner,et al. Maximal Input Reduction of Sequential Netlists via Synergistic Reparameterization and Localization Strategies , 2005, CHARME.
[3] Jason Baumgartner,et al. Scalable Automated Verification via Expert-System Guided Transformations , 2004, FMCAD.
[4] Jiang Long,et al. Formal property verification by abstraction refinement with formal, simulation and hybrid engines , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
[5] Kenneth L. McMillan,et al. Automatic Abstraction without Counterexamples , 2003, TACAS.
[6] Alan Mishchenko,et al. A single-instance incremental SAT formulation of proof- and counterexample-based abstraction , 2010, Formal Methods in Computer Aided Design.
[7] Aaron R. Bradley,et al. SAT-Based Model Checking without Unrolling , 2011, VMCAI.
[8] F. Somenzi,et al. Efficient computation of small abstraction refinements , 2004, ICCAD 2004.
[9] Robert K. Brayton,et al. Efficient implementation of property directed reachability , 2011, 2011 Formal Methods in Computer-Aided Design (FMCAD).
[10] Helmut Veith,et al. Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis , 2002, FMCAD.