Probabilistic Abstract Interpretation.

Patrick Cousot Michael Monerau

Published in: ESOP (2012)

Keyphrases

abstract interpretation
termination analysis
active rules
static analysis
model checking
open source
business processes
active databases
object oriented
reasoning engine