The Temporal Logic of Programs
E900195
The Temporal Logic of Programs is a landmark 1977 paper by Amir Pnueli that introduced temporal logic as a formal framework for specifying and verifying the behavior of concurrent and reactive computer programs.
All labels observed (1)
| Label | Occurrences |
|---|---|
| The Temporal Logic of Programs canonical | 1 |
Statements (32)
| Predicate | Object |
|---|---|
| instanceOf |
computer science paper
ⓘ
scientific paper ⓘ |
| appliesTo |
concurrent programs
ⓘ
reactive programs ⓘ |
| author | Amir Pnueli NERFINISHED ⓘ |
| describedBySource | "The Temporal Logic of Programs" (original publication) NERFINISHED ⓘ |
| field |
computer science
ⓘ
formal methods ⓘ program verification ⓘ temporal logic ⓘ |
| focusesOn |
liveness properties of programs
ⓘ
safety properties of programs ⓘ |
| hasAward | Turing Award recognition of its contribution ⓘ |
| hasImpactOn |
design of temporal logics used in verification tools
ⓘ
development of temporal specification formalisms ⓘ |
| influencedField |
concurrent program verification
ⓘ
formal specification languages ⓘ model checking ⓘ reactive system verification ⓘ |
| introducedConcept |
temporal logic of programs
NERFINISHED
ⓘ
use of temporal logic for program specification ⓘ use of temporal logic for program verification ⓘ |
| language | English ⓘ |
| mainTopic |
concurrent programs
ⓘ
program verification ⓘ reactive systems ⓘ temporal logic ⓘ |
| notableAs | landmark paper in temporal logic for programs ⓘ |
| proposes |
temporal-logic-based framework for specifying program behavior
ⓘ
temporal-logic-based framework for verifying program behavior ⓘ |
| publicationYear | 1977 ⓘ |
| usesLogic | linear-time temporal logic ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.