coq-fairisle

Proof of the Fairisle 4x4 Switch Element . This library contains the development of general definitions dedicated to the verification of sequential synchronous devices (based on Moore and Mealy automata) and the formal verification of the Fairisle 4x4 Switch Element.

opam install coq-fairisle.8.5.0
homepage
https://github.com/coq-contribs/fairisle
license
LGPL 2
bugs tracker
https://github.com/coq-contribs/fairisle/issues
dependencies
coq (>= 8.5 & < 8.6~)
source
https://github.com/coq-contribs/fairisle/archive/v8.5.0.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-fairisle/coq-fairisle.8.5.0