package coq-ctltctl

  1. Overview
  2. No Docs
Computation Tree Logic for Reactive Systems and Timed Computation Tree Logic for Real Time Systems

Install

Dune Dependency

github.com Edit opam file Versions (6)

Authors

  1. C
    Carlos Daniel Luna <>

Maintainers

  1. M
    matej.kosik@inria.fr

Sources

v8.5.0.tar.gz
md5=1c2e0d0ac19e8fc01b8da74629d255e9

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.

Tags

keyword:CTL keyword:TCTL keyword:real time keyword:reactive systems keyword:temporal logic keyword:timed automatas keyword:timed graphs keyword:discrete time keyword:modal logic category:Mathematics/Logic/Modal logic date:February-March 2000

Published: 07 Jun 2016

Dependencies (2)

  1. coq >= "8.5" & < "8.6~"
  2. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None