共 50 条
- [21] Partial order reduction in directed model checking [J]. MODEL CHECKING SOFTWARE, PROCEEDINGS, 2002, 2318 : 112 - 127
- [24] Bounded model checking for partial Kripke structures [J]. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2008, PROCEEDINGS, 2008, 5160 : 380 - +
- [25] Symbolic partial model checking for security analysis [J]. COMPUTER NETWORK SECURITY, 2003, 2776 : 122 - 134
- [26] Software model checking using linear constraints [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 209 - 223
- [27] FAIR SMG AND LINEAR TIME MODEL CHECKING [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 407 : 133 - 150
- [29] Linear Temporal Logic Symbolic Model Checking [J]. COMPUTER SCIENCE REVIEW, 2011, 5 (02) : 163 - 203