An Improved Distance Heuristic Function for Directed Software Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Neha Rungta, Eric G. Mercer. An Improved Distance Heuristic Function for Directed Software Model Checking. In Formal Methods in Computer-Aided Design, 6th International Conference, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings. pages 60-67, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Neha Rungta' in GoogleThis author has not been identified. Look up 'Eric G. Mercer' in Google

runs on WebDSL