共 50 条
- [1] Formula-dependent abstraction for CTL model checking [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2008, PT 2, PROCEEDINGS, 2008, 5073 : 1035 - 1048
- [2] 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] CTL Model Checking based on Giraph [J]. PROCEEDINGS OF THE 2016 5TH INTERNATIONAL CONFERENCE ON ADVANCED MATERIALS AND COMPUTER SCIENCE, 2016, 80 : 652 - 657
- [5] Automatic abstraction techniques for propositional μ-calculus model checking [J]. COMPUTER AIDED VERIFICATION, 1997, 1254 : 12 - 23
- [6] CTL Model Checking based on Probe Machine [J]. PROCEEDINGS OF 2019 IEEE 10TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS 2019), 2019, : 518 - 522
- [7] Bounded Saturation Based CTL Model Checking [J]. 12TH SYMPOSIUM ON PROGRAMMING LANGUAGES AND SOFTWARE TOOLS, SPLST' 11, 2011, : 149 - 160
- [8] Abstraction-based model checking programs [J]. Journal of Computational Information Systems, 2007, 3 (02): : 675 - 682
- [9] MODEL CHECKING AND ABSTRACTION [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (05): : 1512 - 1542