Software Open Access

moves-rwth/storm: v1.7.0

Christian Hensel; Tim Quatmann; Sebastian Junges; Matthias Volk; J. Berger; jipspel; Gereon Kremer; Alex Bork; Daniel Basgöze; David; Hannah; Timo P. Gros; Joachim Klein; sp; Tom Janson; Johannes Lehmann; Jan Karuc; looomis; Sascha Vincent Kurowski; SvStein; Florent Delgrange; Marckvdv; spacefrogg; steffi4321; Arash Partow; Dimitri Bohlender; Linus; Enno Ruijters

  • Fixed a bug in LP-based MDP model checking.
  • DRN Parser is now more robust, e.g., it does no longer depend on tabs.
  • PRISM Parser: Modulo with negative numbers is now consistent with Prism.
  • Added lexicographic multi-objective model checking. Use --lex in the command line interface when specifying a multi(...) property.
  • Fix handling duplicate entries in the sparse matrix builder.
  • Added support for step-bounded until formulas in LTL.
  • Added Dockerfile.
  • API: Applying a fully defined deterministic memoryless scheduler to an MDP yields a DTMC.
  • storm-dft: Use dedicated namespace storm::dft.
  • storm-dft: Added support (parsing, export, BDD analysis) for additional BE failure distributions (Erlang, log-normal, Weibull, constant probability).
  • storm-dft: Added instantiator for parametric DFT.
  • Developer: Storm is now built in C++17 mode.
  • Developer: Added support for automatic code formatting for storm-dft.
Files (14.6 MB)
Name Size
moves-rwth/storm-1.7.0.zip
md5:b1520b42bd9b14b2e84b9c87a1d49803 		14.6 MB Download
295
160
views
downloads
All versions This version
Views 2958
Downloads 1600
Data volume 2.1 GB0 Bytes
Unique views 2258
Unique downloads 860
More info on how stats are collected.
Available in Indexed in
Publication date:
July 29, 2022
DOI:
10.5281/zenodo.6941366

Zenodo DOI Badge

DOI 

10.5281/zenodo.6941366

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.6941366.svg)](https://doi.org/10.5281/zenodo.6941366)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.6941366.svg
   :target: https://doi.org/10.5281/zenodo.6941366

HTML 

<a href="https://doi.org/10.5281/zenodo.6941366"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.6941366.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.6941366.svg

Target URL 

https://doi.org/10.5281/zenodo.6941366

Related identifiers:
Supplement to
License (for files):
Other (Open)

Versions

Version 1.7.0 10.5281/zenodo.6941366 Jul 29, 2022
Version 1.6.4 10.5281/zenodo.5845075 Jan 13, 2022
Version 1.6.3 10.5281/zenodo.4288652 Nov 24, 2020
Version 1.6.1 10.5281/zenodo.4015069 Sep 4, 2020
Version 1.6.0 10.5281/zenodo.3885454 Jun 8, 2020
View all 12 versions
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.1181896. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export