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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	International journal on software tools for technology transfer Ročník 24; číslo 4; s. 589 - 610
Hlavní autori:	Hensel, Christian, Junges, Sebastian, Katoen, Joost-Pieter, Quatmann, Tim, Volk, Matthias
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Berlin/Heidelberg Springer Berlin Heidelberg 01.08.2022 Springer Nature B.V
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!