Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:abbreviation |
LTL
|
| gptkbp:application |
software verification
hardware verification specification of concurrent systems |
| gptkbp:contrastsWith |
gptkb:computation_tree_logic
|
| gptkbp:domain |
gptkb:logic
computer science |
| gptkbp:expressedIn |
properties over paths
|
| gptkbp:hasSemantics |
linear sequences of states
|
| gptkbp:hasSyntax |
modal operators
|
| https://www.w3.org/2000/01/rdf-schema#label |
linear time logic
|
| gptkbp:introducedIn |
1977
|
| gptkbp:operator |
F (eventually)
G (globally) U (until) X (next) |
| gptkbp:proposedBy |
gptkb:Amir_Pnueli
|
| gptkbp:usedIn |
formal verification
model checking |
| gptkbp:bfsParent |
gptkb:Branching_time_logic
|
| gptkbp:bfsLayer |
5
|