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