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.8.0.tar.gz
md5=01e8dc01404c7dfcf1fb908150bbf9b0

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: 06 Feb 2019

Dependencies (2)

  1. coq >= "8.8" & < "8.9~"
  2. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None