共 50 条
- [1] Abstraction and refinement in model checking [J]. FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2006, 4111 : 219 - 242
- [3] Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2019), 2019, 11424 : 192 - 209
- [4] Software model checking with abstraction refinement [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2003, 2575 : 1 - 3
- [5] Abstraction refinement for bounded model checking [J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2005, 3576 : 112 - 124
- [6] A Multiple Refinement Approach in Abstraction Model Checking [J]. COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT, CISIM 2014, 2014, 8838 : 433 - 444
- [7] Relative completeness of abstraction refinement for software model checking [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS, 2002, 2280 : 158 - 172
- [10] Combining abstraction refinement and SAT-Based model checking [J]. Tools and Algorithms for the Construction and Analysis of Systems, Proceedings, 2007, 4424 : 405 - 419