Program verification as probabilistic inference

DOI10.1145/1190216.1190258zbMath1295.68084OpenAlexW4250347244MaRDI QIDQ3189808

Nebojsa Jojic, Sumit Gulwani

Publication date: 12 September 2014

Published in: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1190216.1190258

zbMATH Keywords

learningMarkov chain Monte Carloprobabilistic inferenceGibbs samplingbelief networksprogram verificationfactor graphsautomated recovery machineforward and backward analysisover approximationunder approximation

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Randomized algorithms (68W20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (4)

Combining Model Checking and Data-Flow Analysis ⋮ Learning inductive invariants by sampling from frequency distributions ⋮ From invariant checking to invariant inference using randomized search ⋮ A Modular Static Analysis Approach to Affine Loop Invariants Detection

This page was built for publication: Program verification as probabilistic inference