Real Time Temporal Logic: Past, Present, Future.
Oded MalerDejan NickovicAmir PnueliPublished in: FORMATS (2005)
Keyphrases
- temporal logic
- real time
- model checking
- modal logic
- satisfiability problem
- computation tree logic
- linear temporal logic
- verification method
- mazurkiewicz traces
- concurrent systems
- belief revision
- temporal knowledge
- model checker
- real time systems
- epistemic logic
- temporally extended
- formal methods
- integrity constraints