Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:abbreviation |
gptkb:CTL
|
| gptkbp:describes |
Properties of computation trees
|
| gptkbp:developedBy |
1980s
|
| gptkbp:expressedIn |
Branching time properties
|
| gptkbp:field |
gptkb:logic
Computer science |
| https://www.w3.org/2000/01/rdf-schema#label |
Computation tree logic
|
| gptkbp:inventedBy |
gptkb:Edmund_M._Clarke
gptkb:E._Allen_Emerson |
| gptkbp:operator |
gptkb:F_(future)
G (globally) U (until) X (next) A (for all paths) E (there exists a path) |
| gptkbp:relatedTo |
gptkb:Linear_temporal_logic
gptkb:CTL* |
| gptkbp:usedIn |
Formal verification
Model checking |
| gptkbp:bfsParent |
gptkb:Linear_temporal_logic
|
| gptkbp:bfsLayer |
5
|