Login / Signup

Null dereference verification via over-approximated weakest pre-conditions analysis.

Ravichandhran MadhavanRaghavan Komondoor
Published in: OOPSLA (2011)
Keyphrases
  • feature extraction
  • statistical analysis
  • quantitative analysis
  • digital libraries
  • model checking
  • verification method