Property Directed Abstract Interpretation.

Noam Rinetzky Sharon Shoham

Published in: VMCAI (2016)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
model checking
active databases
reasoning engine