Skip to content

Electrum v1.0
Compare
Choose a tag to compare
@nmacedo nmacedo released this 08 Feb 12:02
· 160 commits to master since this release
v1.0
6877a50
  • First stable public release (accompanying the ABZ'18 submission)
  • Common interface for temporal relational model finding problems through Pardinus
  • Bounded and unbounded model checking of Electrum models
  • Uniform visualisation of trace instances
  • Support for a decomposed solving strategy
Assets 3
Loading