Cone-Based Abstract Interpretation for Nonlinear Positive Invariant Synthesis.

Guillaume O. Berger Masoumeh Ghanbarpour Sriram Sankaranarayanan

Published in: HSCC (2024)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
active databases
reasoning engine
dynamic analysis
complementarity problems
database
software engineering