Abstract Interpretation with Unfoldings.

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

Published in: CAV (2) (2017)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
dynamic analysis
active databases
reasoning engine
source code
multi agent systems
spatial relations