package coq-ctltctl
Computation Tree Logic for Reactive Systems and Timed Computation Tree Logic for Real Time Systems
Install
Dune Dependency
Authors
Maintainers
Sources
v8.10.0.tar.gz
md5=aae6528c516dd59f4702f86c13c70715
Description
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. http://www.fing.edu.uy/~cluna
On This Page