A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL.
David A. BasinCarlos CaleiroJaime RamosLuca ViganòPublished in: TIME (2008)
Keyphrases
- temporal logic
- modal logic
- model checking
- satisfiability problem
- decision procedures
- distributed systems
- linear temporal logic
- belief revision
- inference rules
- concurrent systems
- temporal knowledge
- computation tree logic
- multi agent
- bounded model checking
- formal verification
- mazurkiewicz traces
- dynamic constraints
- verification method
- state space