The probabilistic model checker Storm

We present the probabilistic model checker Storm . Storm supports the analysis of discrete- and continuous-time variants of both Markov chains and Markov decision processes. Storm has three major distinguishing features. It supports multiple input languages for Markov models, including the Jani and...

Full description

Saved in:

Bibliographic Details
Published in:	International journal on software tools for technology transfer Vol. 24; no. 4; pp. 589 - 610
Main Authors:	Hensel, Christian, Junges, Sebastian, Katoen, Joost-Pieter, Quatmann, Tim, Volk, Matthias
Format:	Journal Article
Language:	English
Published:	Berlin/Heidelberg Springer Berlin Heidelberg 01.08.2022 Springer Nature B.V
Subjects:	Algorithms Awards & honors Command languages Competitions and Challenges Computer Science Empirical analysis Fault trees Languages Markov analysis Markov chains Petri nets Probabilistic models Probability theory Rapid prototyping Software Engineering Software Engineering/Programming and Operating Systems Theory of Computation Markov chain Model checking Markov decision process Verification Probilistic systems
ISSN:	1433-2779, 1433-2787
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!