electrumAnalyzer

A tool for the analysis of Electrum formal specifications.
Description

Electrum is a formal specification language based upon relational first-order logic (RFOL) and linear temporal logic (LTL), mainly inspired by Alloy and TLA+. Electrum Analyzer is a free-software prototype for the analysis of Electrum models: as of now, it proceeds by translation into SMV models processable by NuSMV and nuXmv.

Install
Sources
0.3.5-2.tar.gz
md5=bf143427742ead2d748bcb1ab0294a62
Dependencies
pprint
build
menhir
build & >= "20150720"
batteries
build & < "3.0"
ocaml
>= "4.02"
Reverse Dependencies