共 50 条
- [23] Enhance SAT Conflict Analysis for Model Checking [J]. 2009 IEEE 8TH INTERNATIONAL CONFERENCE ON ASIC, VOLS 1 AND 2, PROCEEDINGS, 2009, : 686 - +
- [27] Resource-constrained model checking of recursive programs [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS, 2002, 2280 : 236 - 250
- [28] Model Checking Constrained Markov Reward Models with Uncertainties [J]. QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2019), 2019, 11785 : 37 - 51