Practical Abstractions for Automated Verification of Message Passing Concurrency.
Wytse OortwijnMarieke HuismanPublished in: IFM (2019)
Keyphrases
- message passing
- automated verification
- belief propagation
- model checking
- distributed systems
- shared memory
- probabilistic inference
- factor graphs
- markov random field
- inference in graphical models
- graphical models
- automated reasoning
- formal verification
- distributed shared memory
- approximate inference
- sum product algorithm
- graph cuts
- sum product
- parallel algorithm
- post processing
- junction tree
- max product
- high quality