Multivariant Assertion-Based Guidance in Abstract Interpretation.

Isabel Garcia-Contreras José F. Morales Manuel V. Hermenegildo

Published in: LOPSTR (2018)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
reasoning engine
active rules
active databases
dynamic analysis
case study
programming language
integrity constraints
reverse engineering