stormchecker/stormpy: v1.14.0

Zenodo (CERN European Organization for Nuclear Research)

Abstract

Requires Storm version >= 1.14.0. Replaced carl-parser with Lark parser. Support can be enabled with pip install stormpy[parser] or directly installing the lark package. Extended bindings of BitVector Adaption to changes in Storm: State valuations Lexicographic settings Parsing of constant strings Added options for bisimulation Added options for parsing and building explicit models Support Dd environments Added documentation on stormpy.info Developer: all CMake options start with prefix STORMPY_X Developer: revised CI workflow for building wheels Developer: use template for ValueType in more places

Authors 18

1. Matthias Volk

   Eindhoven University of Technology

   Affiliation as printed

   Eindhoven University of Technology

2. Sebastian Junges

   Radboud University Nijmegen

   Affiliation as printed

   Radboud University

3. Hannah
4. Tom Janson
5. Linus
6. Filip Macák
7. Tim Quatmann Aachen @moves-rwth

   RWTH Aachen University

   Affiliation as printed

   @moves-rwth

8. Philipp Schröer Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University

9. Tobias Winkler
10. Gereon Kremer
11. luko van der maas
12. Daniel Basgöze
13. Alex Bork Aachen @moves-rwth

    RWTH Aachen University

    Affiliation as printed

    @moves-rwth

14. Lutz Klinkenberg
15. KevinBatz
16. Lisa Oakley
17. Maris Galesloot
18. Roman Andriushchenko