electrumAnalyzer

Authors { David Chemouil, Julien Brunel, Denis Kuperberg }
License GPL-3+
Homepage https://forge.onera.fr/projects/electrum
Issue Tracker https://forge.onera.fr/projects/electrum
Maintainer david.chemouil+electrum@onera.fr
Dependencies
& batteries
cmdliner
| 0.9.2
= 0.9.3
0.9.4
0.9.5
0.9.6
0.9.7
menhir >= 20150720
ocamlbuild
ocamlfind >= 1.5
pprint
Available ocaml-version >= "4.02"
Published Oct 31, 2015
Source [http] http://github.com/grayswandyr/electrumAnalyzer/archive/0.3.4.tar.gz
c9b6781a609b198d9d399a41a2b340b3
Statistics Installed 2 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/electrumAnalyzer/electrumAnalyzer.0.3.4/opam

A tool for the analysis of Electrum formal specifications.

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.

No package is dependent