Login / Signup

Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams.

Christian DernehlNorman HansenStefan Kowalewski
Published in: SEFM (2016)
Keyphrases
  • case study
  • static analysis
  • abstract interpretation
  • dynamic analysis
  • symbolic execution
  • databases
  • database
  • information systems