共 50 条
- [1] Counterexample guided spotlight abstraction refinement FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2008, 2008, 5048 : 21 - 36
- [2] Counterexample-guided abstraction refinement TIME-ICTL 2003: 10TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING AND FOURTH INTERNATIONAL CONFERENCE ON TEMPORAL LOGIC, PROCEEDINGS, 2003, : 7 - 8
- [3] VCEGAR: Verilog counterexample guided abstraction refinement TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2007, 4424 : 583 - +
- [4] Counterexample guided abstraction refinement is better under equational abstraction FIFTEENTH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2008, : 126 - 135
- [5] Counterexample-guided abstraction refinement for the analysis of graph transformation systems TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2006, 3920 : 197 - 211
- [6] Effective Heuristics for Counterexample-Guided Abstraction Refinement GLSVLSI'07: PROCEEDINGS OF THE 2007 ACM GREAT LAKES SYMPOSIUM ON VLSI, 2007, : 393 - 398
- [7] Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, 2010, 6341 : 195 - 207
- [8] A probabilistic learning approach for counterexample guided abstraction refinement AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2006, 4218 : 39 - 50
- [9] SAT-based counterexample guided abstraction refinement MODEL CHECKING SOFTWARE, PROCEEDINGS, 2002, 2318 : 1 - 1
- [10] Counterexample guided abstraction refinement via program execution FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 224 - 238