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