coq-ctltctl

Computation Tree Logic for Reactive Systems and Timed Computation Tree Logic for Real Time Systems. This library formalises two logics for reasoning about reactive systems (CTL) and real time systems (TCTL) represents using timed automatas (timed graphs) with discrete time.

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