共 50 条
- [25] A COUNTEREXAMPLE TO AS CONSTRUCTIONS [J]. STATISTICS & PROBABILITY LETTERS, 1990, 9 (04) : 307 - 309
- [26] Counterexample-Guided Prefix Refinement Analysis for Program Verification [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, ISOLA 2014, 2016, 683 : 143 - 155
- [28] Counterexample-guided abstraction refinement for the analysis of graph transformation systems [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2006, 3920 : 197 - 211