Formal Verification of Fault-Tolerant and Recovery Mechanisms for Safe Node Sequence Protocol.
Rui ZhouRong MinQi YuChanjuan LiYong ShengQingguo ZhouXuan WangKuan-Ching LiPublished in: AINA (2014)
Keyphrases
- fault tolerant
- formal verification
- coloured petri nets
- model checker
- fault tolerance
- model checking
- read and write operations
- key distribution
- distributed systems
- automated verification
- load balancing
- bounded model checking
- symbolic model checking
- mobile agent system
- state machine
- temporal logic
- safety critical
- description language
- formal specification
- distributed databases