A Storm is Coming: A Modern Probabilistic Model Checker

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 modul...

Full description

Saved in:
Bibliographic Details
Published inComputer Aided Verification pp. 592 - 600
Main Authors Dehnert, Christian, Junges, Sebastian, Katoen, Joost-Pieter, Volk, Matthias
Format Book Chapter
LanguageEnglish
Published Cham Springer International Publishing 2017
SeriesLecture Notes in Computer Science
Online AccessGet full text

Cover

More Information
Summary: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 set-up 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 benchmarks show its competitive performance.
ISBN:9783319633893
3319633899
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-319-63390-9_31