Login / Signup

Two techniques to improve the precision of a demand-driven null-dereference verification approach.

Amogh MargoorRaghavan Komondoor
Published in: Sci. Comput. Program. (2015)
Keyphrases
  • demand driven
  • model checking
  • precision and recall
  • high precision
  • database systems
  • peer to peer
  • formal methods