Abstraction refinement by controllability and cooperativeness analysis
暂无分享,去创建一个
[1] Edmund M. Clarke,et al. Counterexample-guided abstraction refinement , 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..
[2] Kenneth L. McMillan,et al. Interpolation and SAT-Based Model Checking , 2003, CAV.
[3] Kenneth L. McMillan,et al. Automatic Abstraction without Counterexamples , 2003, TACAS.
[4] Kenneth L. McMillan,et al. Applying SAT Methods in Unbounded Symbolic Model Checking , 2002, CAV.
[5] Jiang Long,et al. Smart simulation using collaborative formal and simulation engines , 2000, IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140).
[6] Zijiang Yang,et al. Iterative Abstraction using SAT-based BMC with Proof Analysis , 2003, ICCAD 2003.
[7] Armin Biere,et al. Symbolic Model Checking without BDDs , 1999, TACAS.
[8] Ofer Strichman,et al. SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques , 2002, CAV.
[9] Moshe Y. Vardi,et al. Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation , 2003, TACAS.
[10] Luca Cardelli. An implementation of F , 1993 .
[11] Thomas A. Henzinger,et al. Detecting Errors Before Reaching Them , 2000, CAV.
[12] 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).
[13] Kenneth L. McMillan,et al. Symbolic model checking: an approach to the state explosion problem , 1992 .
[14] Sérgio Vale Aguiar Campos,et al. Symbolic Model Checking , 1993, CAV.
[15] Orna Kupferman,et al. Model Checking of Safety Properties , 1999, Formal Methods Syst. Des..
[16] Chao Wang,et al. Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement , 2003, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[17] Helmut Veith,et al. Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis , 2002, FMCAD.
[18] Thomas A. Henzinger,et al. Automating Modular Verification , 1999, CONCUR.
[19] Robert P. Kurshan,et al. Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach , 2014 .