www.prismmodelchecker.org
[DJKV17] Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen and Matthias Volk. A Storm is Coming: A Modern Probabilistic Model Checker. In Proc. 29th International Conference on Computer Aided Verification (CAV'17). 2017. [bib]
Downloads:  bib bib

Publications