A Temporal Logic for Reasoning about Partially Ordered Computations (Extended Abstract).
Shlomit S. PinterPierre WolperPublished in: PODC (1984)
Keyphrases
- extended abstract
- temporal logic
- partially ordered
- totally ordered
- partial order
- modal operators
- model checking
- modal logic
- event calculus
- partial ordering
- satisfiability problem
- concurrent systems
- linear temporal logic
- verification method
- qualitative reasoning
- computation tree logic
- mazurkiewicz traces
- belief revision
- formal specification language
- temporally extended
- model checker
- total ordering
- temporal knowledge
- bounded model checking
- knowledge base
- search algorithm