Abstract Interpretation with Unfoldings.

Marcelo Sousa César Rodríguez Vijay Victor D'Silva Daniel Kroening

Published in: CoRR (2017)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
reasoning engine
dynamic analysis
active databases
source code
knowledge base
management system
pattern matching