2 Search Results
electrod
Formal analysis for the Electrod formal pivot language
David Chemouil Julien Brunel
1.0.0
MPL-2.0
Used by 0 other packages
electrumAnalyzer
A tool for the analysis of Electrum formal specifications.
org:onera
David Chemouil Julien Brunel Denis Kuperberg
0.3.5-2
GPL-3.0-or-later
Used by 0 other packages