A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking.

Manuel Valdiviezo Cristina Cifuentes Padmanabhan Krishnan

Published in: APLAS (2014)

Keyphrases

model checking
verification method
computational complexity
reachability analysis
search algorithm
dynamic programming