Login / Signup

Static analysis of Sequential Function Charts using abstract interpretation.

Hendrik SimonStefan Kowalewski
Published in: ETFA (2016)
Keyphrases
  • static analysis
  • abstract interpretation
  • dynamic analysis
  • source code
  • termination analysis
  • model checking
  • symbolic execution
  • regular expressions
  • databases
  • test suite
  • high level
  • error rate