stormchecker/storm: v1.13.0

Zenodo (CERN European Organization for Nuclear Research)

Abstract

Moved repository to stormchecker/storm. Import/export of explicit models in (binary) UMB format. Support for exact intervals, parsing exact intervals from Prism and bounded model checking of interval DTMC and interval MDP. Support for monitor verification. Extended support for conditional model checking. Added scheduler to ExplicitQualitativeCheckResult. Adaption to changes of CMake options in carl-storm. Revised installation paths. Updated dependencies: carl-storm, ExprTk, Spot. Renamed directories: storm-cudd and cpphoafparser. Bug fixes: in Unif+ for Markov automata with non-Markovian initial states dangling reference to tmp object assert in observation trace unfolder warning in ConditionalHelper error for IDTMC checking from CLI in includes compiler warnings Developer: Added support for intervals in multipliers. Developer: Extended differentation of ValueType and SolutionType in more places. Developer: Added support for creating Debian packages in CMake and via CI workflow. Developer: minor fixes in CI workflows.

Authors 28

1. Christian Hensel
2. Tim Quatmann Aachen @moves-rwth

   RWTH Aachen University

   Affiliation as printed

   @moves-rwth

3. Matthias Volk

   Eindhoven University of Technology

   Affiliation as printed

   Eindhoven University of Technology

4. Sebastian Junges

   Radboud University Nijmegen

   Affiliation as printed

   Radboud University

5. J. Berger Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University

6. jipspel
7. Gereon Kremer
8. Alex Bork Aachen @moves-rwth

   RWTH Aachen University

   Affiliation as printed

   @moves-rwth

9. Daniel Basgöze
10. David
11. Hannah
12. Joachim Klein

    Technische Universität Dresden

    Affiliation as printed

    Ex TU Dresden, Germany

13. Timo P. Gros

    German Research Centre for Artificial Intelligence

    Affiliation as printed

    German Research Center for Artificial Intelligence (DFKI)

14. SPranger
15. Tom Janson
16. Johannes Lehmann
17. Jan Karuc
18. looomis
19. Linus
20. Sascha Vincent Kurowski
    Affiliation as printed

    Amazon Europe (@amzn)

21. SvStein
22. luko van der maas
23. Florent Delgrange

    Vrije Universiteit Brussel

    Affiliation as printed

    AI Lab, Vrije Universiteit Brussel

24. Josh Jeppson
    Affiliation as printed

    @fluentverification

25. Marckvdv
26. Arash Partow
    Affiliation as printed

    ἑ

27. spacefrogg
28. Peter Lindner Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University