Skip to content

@nmacedo nmacedo released this Oct 29, 2016 · 351 commits to master since this release

  • First release (accompanying the FSE'16 submission)
  • Bounded model checking of Electrum models
  • Electrum models expanded into Alloy models
  • Expanded Alloy models returned to the visualizer
Assets 3
You can’t perform that action at this time.