ProbDiVinE: A Parallel Qualitative LTL Model Checker
| Authors | |
|---|---|
| Year of publication | 2007 |
| Type | Article in Proceedings |
| Conference | Fourth International Conference on the Quantitative Evaluation of Systems (QEST'07) |
| MU Faculty or unit | |
| Citation | |
| Field | Informatics |
| Keywords | ProbDiVinE; Qualitative LTL; Probabilistic; Model Checking |
| Description | We introduce a parallel model checker for checking Markov decision Processes against linear time properties. The model checker extends the parallel model checker DiVinE and supports verification of qualitative properties. |
| Related projects: |