Formal Verification of a Message-Passing Protocol with Model Checking.
Arthur LinFuyau LinPublished in: SEKE (1995)
Keyphrases
- message passing
- formal verification
- model checker
- model checking
- temporal logic
- belief propagation
- symbolic model checking
- distributed systems
- automated verification
- bounded model checking
- formal specification
- formal methods
- probabilistic inference
- finite state
- computation tree logic
- verification method
- approximate inference
- transition systems
- markov random field
- graphical models
- description language
- communication protocols
- probability distribution