Program verification as probabilistic inference.

Sumit Gulwani, Nebojsa Jojic

Browse the full POPL paper archive.