Deadlock Detection in the Scheduling of Last-Mile Transportation Using Model Checking.
Koji HasebeMitsuaki TsujiKazuhiko KatoPublished in: DASC/PiCom/DataCom/CyberSciTech (2017)
Keyphrases
- model checking
- deadlock detection
- distributed database systems
- temporal logic
- distributed systems
- formal specification
- manufacturing systems
- temporal properties
- automated verification
- formal verification
- communication protocol
- model checker
- symbolic model checking
- computation tree logic
- timed automata
- epistemic logic
- bounded model checking
- verification method
- formal methods
- transition systems
- process algebra
- concurrent systems
- computer networks
- asynchronous circuits
- modal logic
- linear temporal logic
- concurrency control
- reactive systems
- deterministic finite automaton
- optimal solution