Skip to content

v1.3.0
Compare
Choose a tag to compare
@volkm volkm released this 02 Jan 17:56
· 639 commits to master since this release
1.3.0
57f4dfc

Requires Storm version >= 1.3.0 and pycarl version >= 2.0.3

  • Adaptions to changes in Storm
  • Bindings for symbolic models:
    • building symbolic models
    • bisimulation
    • transforming symbolic to sparse models
  • Extraction of schedulers and queries on schedulers
  • High-level counterexamples connected
  • Drastically extended JANI bindings
  • Extended bindings for expressions
  • Extended PLA bindings
  • Extended DFT bindings
  • Extended documentation
  • Improved and extended setup
Assets 2
Loading