Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms.
Takahiro MinamikawaTatsuhiro TsuchiyaTohru KikunoPublished in: PRDC (2008)
Keyphrases
- fault tolerant
- model checking
- distributed systems
- fault tolerance
- load balancing
- interconnection networks
- tool support
- deterministic finite automaton
- reachability analysis
- process algebra
- temporal logic
- model checker
- programming language
- formal verification
- verification method
- symbolic model checking
- concurrent systems
- timed automata
- formal specification
- incremental algorithms
- peer to peer
- software development
- artificial intelligence
- computation tree logic