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
Published
03 Nov 2015
Sources
0.3.4.tar.gz
md5=c9b6781a609b198d9d399a41a2b340b3
Dependencies
pprint
build
ocamlfind
build & >= "1.5"
menhir
build & >= "20150720"
cmdliner
build & = "0.9.5"
cmdliner
build & = "0.9.6"
cmdliner
build & = "0.9.7"
ocaml
>= "4.02"
Reverse Dependencies