package electrumAnalyzer

  1. Overview
  2. No Docs
A tool for the analysis of Electrum formal specifications.

Install

Dune Dependency

forge.onera.fr Edit opam file Versions (2)

Authors

  1. D
    David Chemouil
  2. J
    Julien Brunel
  3. D
    Denis Kuperberg

Maintainers

  1. D
    david.chemouil+electrum@onera.fr

Sources

0.3.4.tar.gz
md5=c9b6781a609b198d9d399a41a2b340b3

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.

Published: 03 Nov 2015

Dependencies (9)

  1. ocamlbuild build
  2. pprint build
  3. ocamlfind build & >= "1.5"
  4. menhir build & >= "20150720"
  5. cmdliner build & = "0.9.5"
  6. cmdliner build & = "0.9.6"
  7. cmdliner build & = "0.9.7"
  8. batteries build
  9. ocaml >= "4.02"

Dev Dependencies

None

Used by

None

Conflicts

None