Electrum is a formal specification language based upon first-order linear temporal logic. Electrum Analyzer currently converts Electrum models into SMV files readable with NuSMV and nuXmv.
Electrum Analyzer is written in OCaml (>= 4.02).
The main repository for Electrum Analyzer as well as the issue tracker can be reached from the corresponding forge.
The Github repository is only used as a mirror of the main repository.
See the file INSTALL.md for building and installation instructions.
(C) 2014-2016 Onera (C) 2015 IRIT
Electrum Analyzer is distributed under the terms of the GNU General Public License version 3 or later.
See COPYING.txt for more information.