Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic.
Donghuo ChenJinzhao WuPublished in: SOFSEM (2006)
Keyphrases
- concurrent systems
- temporal logic
- model checking
- temporally extended goals
- process algebra
- modal logic
- transition systems
- satisfiability problem
- modal operators
- belief revision
- mazurkiewicz traces
- model checker
- qualitative reasoning
- temporal knowledge
- reactive systems
- verification method
- finite state
- computation tree logic
- distributed systems
- dynamic constraints
- belief change
- linear temporal logic
- np complete
- formal specification language