Bounded verification of message-passing concurrency in Go using Promela and Spin.
Nicolas DilleyJulien LangePublished in: PLACES@ETAPS (2020)
Keyphrases
- message passing
- belief propagation
- distributed systems
- probabilistic inference
- shared memory
- approximate inference
- inference in graphical models
- factor graphs
- graphical models
- distributed shared memory
- stereo matching
- junction tree
- sum product algorithm
- sum product
- matrix multiplication
- markov random field
- graph cuts
- multi view
- loopy belief propagation
- ldpc codes