共 50 条
- [1] Symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2000, 1785 : 395 - 410
- [2] Symbolic model checking for probabilistic timed automata [J]. INFORMATION AND COMPUTATION, 2007, 205 (07) : 1027 - 1077
- [3] Advances in Symbolic Probabilistic Model Checking with PRISM [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2016), 2016, 9636 : 349 - 366
- [4] Symbolic Model Checking for Factored Probabilistic Models [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2016, 2016, 9938 : 444 - 460
- [5] Symbolic model checking for probabilistic timed automata [J]. FORMAL TECHNIQUES, MODELLING AND ANALYSIS OF TIMED AND FAULT-TOLERANT SYSTEMS, PROCEEDINGS, 2004, 3253 : 293 - 308
- [6] Probabilistic symbolic model checking with PRISM: A hybrid approach [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS, 2002, 2280 : 52 - 66
- [8] Dual-processor parallelisation of symbolic probabilistic model checking [J]. IEEE COMPUTER SOCIETY'S 12TH ANNUAL INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS, AND SIMULATION OF COMPUTER AND TELECOMMUNICATIONS SYSTEMS - PROCEEDINGS, 2004, : 123 - 130
- [9] A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking [J]. DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS, SETTA 2015, 2015, 9409 : 35 - 51
- [10] Probabilistic Model Checking of BPMN Processes at Runtime [J]. INTEGRATED FORMAL METHODS, IFM 2022, 2022, 13274 : 191 - 208