Sign in
Generation of Violation Witnesses by Under-Approximating Abstract Interpretation.
Marco Milanese
Antoine Miné
Published in:
VMCAI (1) (2024)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
active rules
model checking
active databases
database
reasoning engine