Designing a Deadlock-Free Train Scheduler: A Model Checking Approach.
Franco MazzantiGiorgio Oronzo SpagnoloAlessio FerrariPublished in: NASA Formal Methods (2014)
Keyphrases
- model checking
- deadlock free
- temporal logic
- formal verification
- concurrency control
- temporal properties
- automated verification
- model checker
- formal specification
- reachability analysis
- symbolic model checking
- computation tree logic
- routing algorithm
- verification method
- timed automata
- epistemic logic
- transition systems
- asynchronous circuits
- formal methods
- transaction processing
- process algebra
- bounded model checking
- pspace complete
- linear temporal logic
- database systems
- distributed databases
- data model