Optimizing demand-driven null dereference verification via merging branches.

Huihui Cheng Hongwei Zeng

Published in: Expert Syst. J. Knowl. Eng. (2022)

Keyphrases

demand driven
model checking
face verification
signature verification
search space
formal methods
mobile devices
management system
formal verification
verification method