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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International journal on software tools for technology transfer Jg. 24; H. 4; S. 589 - 610
Hauptverfasser:	Hensel, Christian, Junges, Sebastian, Katoen, Joost-Pieter, Quatmann, Tim, Volk, Matthias
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Berlin/Heidelberg Springer Berlin Heidelberg 01.08.2022 Springer Nature B.V
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!