Model Checking Geographically Distributed Interlocking Systems Using UMC.
Alessandro FantechiAnne E. HaxthausenMichel Boje Randahl NielsenPublished in: PDP (2017)
Keyphrases
- model checking
- geographically distributed
- automated verification
- temporal logic
- formal methods
- distributed systems
- finite state machines
- artifact centric
- temporal properties
- data intensive
- asynchronous circuits
- reactive systems
- artificial intelligence
- formal specification
- computer systems
- verification method
- bounded model checking
- formal verification
- distributed computing
- computation tree logic
- virtual organization
- timed automata
- software projects
- management system
- multi agent