Model Checking and the State Explosion Problem - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Edmund M. Clarke, William Klieber, Milos Novácek, Paolo Zuliani. Model Checking and the State Explosion Problem. In Bertrand Meyer, Martin Nordio, editors, Tools for Practical Software Verification, LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures. Volume 7682 of Lecture Notes in Computer Science, pages 1-30, Springer, 2011. [doi]

This author has not been identified. Look up 'Edmund M. Clarke' in GoogleThis author has not been identified. Look up 'William Klieber' in GoogleThis author has not been identified. Look up 'Milos Novácek' in GoogleThis author has not been identified. Look up 'Paolo Zuliani' in Google

runs on WebDSL