Description
Requires Storm version >= 1.7.0 and pycarl version >= 2.1.0 Support for plotting via extras plot Support for LTL model checking via Spot Some support for multi-objective model checking queries Bindings for maximal end components Support for computing expected number of visits Added accessors for Prism program Added documentation for simulator Support for building complete/partial state space of DFT Instantiator for parametric DFT Simulator for DFT Added Dockerfile Developer: stormpy is built with C++17 Developer: updated pybind11 to version 2.8.1 and adapted bindings accordingly Adaption to changes in Storm such as the new namespace storm::dft
| Date made available | 31 Jul 2022 |
|---|---|
| Publisher | Zenodo |