Author Archives: holtzen

Probabilistic Program Inference With Abstractions

Abstraction is a fundamental tool in the analysis and verification of programs. Typically, a program abstraction selectively models particular aspects of the original program while utilizing non-determinism to conservatively account for other behaviors. However, non-deterministic abstractions do not directly apply … Continue reading

Posted in Uncategorized | Comments Off on Probabilistic Program Inference With Abstractions