Next:
Bits of History
Up:
Formal Specification and Verification
Previous:
Connected Automata
Contents
Temporal Logics
Subsections
Bits of History
The Syntax of
The Syntax of
The Semantics of
- and
-Expressions
Properties and Logical Operators
Time and Temporal Operators
Quantifier
Examples of CTL-Expressions with Interpretations
Gerd Doeben-Henisch 2010-03-03