electrumAnalyzerversion
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.
| Tags | org:onera |
|---|---|
| Authors | David Chemouil, Julien Brunel and Denis Kuperberg |
| License | GPL-3.0-or-later |
| Published | |
| Homepage | https://forge.onera.fr/projects/electrum |
| Issue Tracker | https://forge.onera.fr/projects/electrum |
| Maintainer | david.chemouil+electrum@onera.fr |
| Dependencies | |
| Source [http] | https://github.com/grayswandyr/electrumAnalyzer/archive/0.3.5-2.tar.gz sha256=24d51676d970672bd9bff07cd7c422efb92b440bda657da5126966b10465520e md5=bf143427742ead2d748bcb1ab0294a62 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/electrumAnalyzer/electrumAnalyzer.0.3.5-2/opam |
No package is dependent
