package electrod
Formal analysis for the Electrod formal pivot language
Install
dune-project
Dependency
Authors
Maintainers
Sources
electrod-0.6.tbz
sha256=545020556bdc1517867791ccbbf4a00623d911663daa26e6d57dc66e7652f269
sha512=2921be5e844e408f1d3208c7d9b310d3ef3b050d37ab0b449b9fd9722be54167eacc08b957b595cab58dedb28c43f327238a30a360ac0ae45d724bd1d8bd664c
doc/electrod.libelectrod/Libelectrod/Smv/index.html
Module Libelectrod.Smv
Source
Represents SMV files and how to produce them
Given an implementation for atoms, provides a LTL implementation with a pretty printing function for Solver formulas.
Source
module Make_SMV_file_format
(Ltl : Solver.LTL) :
Solver.MODEL with type ltl = Ltl.t and type atomic = Ltl.Atomic.t
TODO: implement abstract file format functions
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>