electrumAnalyzer

AuthorsDavid Chemouil, Julien Brunel and Denis Kuperberg
LicenseGPL-3+
Homepagehttps://forge.onera.fr/projects/electrum
Issue Trackerhttps://forge.onera.fr/projects/electrum
Tagorg:onera
Maintainerdavid.chemouil+electrum@onera.fr
Dependencies
&batteries
cmdliner
menhir>= 20150720
ocamlfind
pprint
Availableocaml-version >= "4.02"
PublishedJul 29, 2016
Source [http] https://github.com/grayswandyr/electrumAnalyzer/archive/0.3.5-2.tar.gz
bf143427742ead2d748bcb1ab0294a62
StatisticsInstalled 2 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/electrumAnalyzer/electrumAnalyzer.0.3.5-2/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