Applications of Temporal Logic to the Specification of Real-time Systems.
Amir PnueliEyal HarelPublished in: FTRTFT (1988)
Keyphrases
- real time systems
- temporal logic
- reactive systems
- transition systems
- model checking
- linear temporal logic
- real time
- modal logic
- formal verification
- concurrent systems
- distributed systems
- formal specification
- satisfiability problem
- dynamic constraints
- embedded systems
- high level
- model checker
- real time database systems
- timing constraints
- specification language
- temporal knowledge
- verification method
- belief revision
- object oriented programming language
- bounded model checking
- computation tree logic
- formal methods
- search algorithm
- formal specification language