Refining Trace Abstraction using Abstract Interpretation.

Marius Greitschus Daniel Dietsch Andreas Podelski

Published in: CoRR (2017)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
dynamic analysis
high level
reasoning engine
active databases
open source
case study
database systems
data model
object oriented