A Partition-Based Model Checking Method for Verifying Communication Protocols with SPIN.

Xinchang Zhang Meihong Yang Xingfeng Li Huiling Shi

Published in: ISIA (2010)

Keyphrases

model checking
verification method
communication protocols
temporal logic
formal verification
model checker
temporal properties
reachability analysis
artificial intelligence
software engineering
finite state machines
finite state
epistemic logic
process algebra