IKOS: A Framework for Static Analysis Based on Abstract Interpretation.

Guillaume Brat Jorge A. Navas Nija Shi Arnaud Venet

Published in: SEFM (2014)

Keyphrases

abstract interpretation
static analysis
termination analysis
dynamic analysis
source code
model checking
reasoning engine
active rules
symbolic execution
case study
database systems
data sources
active databases