Login / Signup
Automatic generation of polynomial invariants of bounded degree using abstract interpretation.
Enric Rodríguez-Carbonell
Deepak Kapur
Published in:
Sci. Comput. Program. (2007)
Keyphrases
</>
bounded degree
abstract interpretation
termination analysis
graph theoretic
static analysis
model checking
dynamic analysis
active rules
active databases
reasoning engine
bounded treewidth
information systems
spatial databases
source code
open source
data model
high level