Sign in

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

Guillaume BratJorge A. NavasNija ShiArnaud 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