package electrumAnalyzer

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

Install

Dune Dependency

Authors

Maintainers

Sources

0.3.5-2.tar.gz
sha256=24d51676d970672bd9bff07cd7c422efb92b440bda657da5126966b10465520e
md5=bf143427742ead2d748bcb1ab0294a62

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.

Tags

org:onera

Published: 29 Jul 2016

Dependencies (6)

  1. pprint build
  2. ocamlfind build
  3. menhir build & >= "20150720"
  4. cmdliner build
  5. batteries build & < "3.0"
  6. ocaml >= "4.02"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.