Skip to content

Electrum v0.1

Pre-release
Pre-release
Compare
Choose a tag to compare
@nmacedo nmacedo released this 29 Oct 16:21
· 351 commits to master since this release
v0.1
fdce4be
  • 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
Loading