Login / Signup

Formal Verification of a C Value Analysis Based on Abstract Interpretation.

Sandrine BlazyVincent LaporteAndré MaronezeDavid Pichardie
Published in: SAS (2013)
Keyphrases
  • formal verification
  • abstract interpretation
  • data analysis
  • model checking
  • dynamic analysis
  • static analysis
  • active rules
  • symbolic model checking