共 50 条
- [31] On the timed automata-based verification of Ravenscar systems RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2008, 2008, 5026 : 30 - +
- [33] A Technique for Automata-based Verification with Residual Reasoning PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD), 2020, : 237 - 248
- [34] Finite automata-based semantics of CFSM model Huadong Ligong Daxue Xuebao /Journal of East China University of Science and Technology, 2001, 27 (05):
- [36] AUTOQ: An Automata-Based Quantum Circuit Verifier COMPUTER AIDED VERIFICATION, CAV 2023, PT III, 2023, 13966 : 139 - 153
- [38] Automata-based verification of programs with tree updates TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2006, 3920 : 350 - 364