• Publications
  • Influence
Probabilistic Abstract Interpretation
TLDR
We propose a formal, general and modular framework, extending the classical abstract interpretation framework to take probabilities into account, allowing us to systematically lift any classical analysis or verification method to the probabilistic setting. Expand
  • 80
  • 1
  • PDF