package electrumAnalyzer
A tool for the analysis of Electrum formal specifications.
Install
Dune Dependency
Authors
Maintainers
Sources
0.3.4.tar.gz
sha256=af2618d68abc0f0deb7b0e29df5ea9e94903ba0bd17312538351b60605370dd5
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
On This Page