Abstract | ||
---|---|---|
We present a new probabilistic model checker Storm. Using state-of-the-art libraries, we aim for both high performance and versatility. This extended abstract gives a brief overview of the features of Storm. |
Year | Venue | Field |
---|---|---|
2016 | arXiv: Software Engineering | Systems engineering,Computer science,Storm,Theoretical computer science,Statistical model |
DocType | Volume | Citations |
Journal | abs/1610.08713 | 3 |
PageRank | References | Authors |
0.37 | 18 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Christian Dehnert | 1 | 118 | 5.51 |
Sebastian Junges | 2 | 184 | 20.78 |
Joost-Pieter Katoen | 3 | 4444 | 289.65 |
Matthias Volk | 4 | 94 | 6.70 |