computation tree logic
Sign in to saveAlso known as CTL, Branching Time Logic
theory in computer science
Wikidata facts
- Image
- CTL model.png
Show 1 more fact
- Stack Exchange tag
- cs.stackexchange.com/tags/computation-tree-logic
Sources (3)
via Wikidata · CC0
Connections
logical operator
Entity
model checking
Entity
time
Entity
truth
Entity
International Standard Book Number
Entity
digital object identifier
Entity
mathematical logic
Entity
graph
Entity
formal language
Entity
De Morgan's laws
Entity
tree
Entity
first-order logic
Entity
Q22908627
Entity
context-free grammar
Entity
logical consequence
Entity
E. Allen Emerson
Entity
regular language
Entity
Edmund M. Clarke
Entity
concurrent computing
Entity
temporal logic
Entity