共 50 条
- [41] Abstraction and Learning for Infinite-State Compositional Verification ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (129): : 211 - 228
- [42] Solving Infinite-State Games via Acceleration PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (POPL):
- [43] Context free grammar and the infinite-state automaton Tien Tzu Hsueh Pao/Acta Electronica Sinica, 1996, 24 (08): : 23 - 27
- [44] Formal Verification of Infinite-State BIP Models AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015, 2015, 9364 : 326 - 343
- [45] Faster Temporal Reasoning for Infinite-State Programs 2014 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2014, : 75 - 82
- [46] On Automation of CTL* Verification for Infinite-State Systems COMPUTER AIDED VERIFICATION, PT I, 2015, 9206 : 13 - 29
- [47] Synthesis of Infinite-State Systems with Random Behavior 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), 2020, : 250 - 261
- [50] Action Language verifier: an infinite-state model checker for reactive software specifications Formal Methods in System Design, 2009, 35 : 325 - 367