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ženo v:

Podrobná bibliografie
Vydáno v:	International journal on software tools for technology transfer Ročník 24; číslo 4; s. 589 - 610
Hlavní autoři:	Hensel, Christian, Junges, Sebastian, Katoen, Joost-Pieter, Quatmann, Tim, Volk, Matthias
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Berlin/Heidelberg Springer Berlin Heidelberg 01.08.2022 Springer Nature B.V
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!