Computation Tree Logic with Deadlock Detection
Rob J. van GlabbeekBas LuttikNikola TrckaPublished in: Log. Methods Comput. Sci. (2009)
Keyphrases
- deadlock detection
- computation tree logic
- distributed database systems
- model checking
- temporal logic
- distributed systems
- manufacturing systems
- bounded model checking
- communication protocol
- epistemic logic
- computer networks
- distributed databases
- database systems
- minimal change
- formal specification
- temporal properties
- modal logic
- complexity analysis
- database management systems
- belief revision
- formal verification
- management system