On Efficient Models for Model Checking Message-Passing Distributed Protocols.
Péter BokorMarco SerafiniNeeraj SuriPublished in: FMOODS/FORTE (2010)
Keyphrases
- model checking
- message passing
- distributed systems
- temporal logic
- factor graphs
- inference in graphical models
- finite state machines
- belief propagation
- formal verification
- reactive systems
- symbolic model checking
- formal specification
- model checker
- temporal properties
- automated verification
- probabilistic model
- probabilistic inference
- sum product
- computation tree logic
- sum product algorithm
- verification method
- formal methods
- approximate inference
- shared memory