Contribution: CTLTCTL

Computation Tree Logic for Reactive Systems and Timed Computation Tree Logic for Real Time Systems.

Authors

• Carlos Daniel Luna

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.

Keywords

ctl, tctl, real time systems, reactive systems, temporal logic, timed automatas, timed graphs, discrete time, modal logic

Available files

• CTLTCTL.tctl.html
• CTLTCTL.ctl.html
• CTLTCTL.time_clocks.html
• CTLTCTL.TemporalOperators_Ind.html