A storm is Coming: A Modern Probabilistic Model Checker

  title={A storm is Coming: A Modern Probabilistic Model Checker},
  author={Christian Dehnert and Sebastian Junges and Joost-Pieter Katoen and Matthias Volk},
We launch the new probabilistic model checker Storm. It features the analysis of discrete-and continuous-time variants of both Markov chains and MDPs. It supports the Prism and JANI modeling languages, probabilistic programs, dynamic fault trees and generalized stochastic Petri nets. It has a modular setup in which solvers and symbolic engines can easily be exchanged. It offers a Python API for rapid prototyping by encapsulating Storm's fast and scalable algorithms. Experiments on a variety of… CONTINUE READING
Recent Discussions
This paper has been referenced on Twitter 5 times over the past 90 days. VIEW TWEETS
40 Citations
46 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 40 extracted citations

Similar Papers

Loading similar papers…