Skip to content

@nmacedo nmacedo released this Feb 7, 2018 · 175 commits to master since this release

  • Preliminary support for the action idiom syntactic sugar (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
You can’t perform that action at this time.