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. H
    Hugo.Herbelin@inria.fr

Sources

v8.6.0.tar.gz
md5=366b25ad6f59bf17026ae63288e29e0c

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

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: 20 Nov 2018

Dependencies (2)

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

Dev Dependencies

None

Used by

None

Conflicts

None