moves-rwth/storm: v1.6.0

Published June 8, 2020 | Version 1.6.0

Software Open

Changed default Dd library from cudd to sylvan. The Dd library can be changed back to cudd using the command line switch --ddlib.
Scheduler export: Properly handle models with end components. Added export in .json format.
CMake: Search for Gurobi prefers new versions
CMake: We no longer ship xerces-c. If xerces-c is not found on the system, storm-gspn will not be able to parse xml-based GSPN formats
CMake: Added option STORM_LOAD_QVBS to automatically download the quantitative verification benchmark set.
Eigen library: The source code of Eigen is no longer included but downloaded from an external repository instead. Incremented Eigen version to 3.3.7 which fixes a compilation issue with recent XCode versions.
Tests: Enabled tests for permissive schedulers
storm-counterexamples: fix when computing multiple counterexamples in debug mode
storm-dft: Renamed setting --show-dft-stats to dft-statistics and added approximation information to statistics.
storm-pomdp: Implemented approximation algorithms that explore (a discritization of) the belief MDP, allowing to compute safe lower- and upper bounds for a given property.
storm-pomdp: Implemented almost-sure reachability computations: graph-based, one-shot SAT-based, and iterative SAT-based
storm-pomdp: Various changes such that transformation to pMCs is now again supported (and improved)
Fixed several compiler warnings.

Files

Name	Size	Download all
moves-rwth/storm-1.6.0.zip md5:1d256132b0eddd2789a711f277c17e47	12.1 MB	Preview Download