The Probabilistic Model Checker Storm (Extended Abstract)
Software Engineering
2016-10-30 v1 Logic in Computer Science
Mathematical Software
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.
Cite
@article{arxiv.1610.08713,
title = {The Probabilistic Model Checker Storm (Extended Abstract)},
author = {Christian Dehnert and Sebastian Junges and Joost-Pieter Katoen and Matthias Volk},
journal= {arXiv preprint arXiv:1610.08713},
year = {2016}
}
Comments
Extended abstract