NUSMV: A New Symbolic Model Verifier - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri. NUSMV: A New Symbolic Model Verifier. In Nicolas Halbwachs, Doron Peled, editors, Computer Aided Verification, 11th International Conference, CAV 99, Trento, Italy, July 6-10, 1999, Proceedings. Volume 1633 of Lecture Notes in Computer Science, pages 495-499, Springer, 1999. [doi]

This author has not been identified. Look up 'Alessandro Cimatti' in GoogleThis author has not been identified. Look up 'Edmund M. Clarke' in GoogleThis author has not been identified. Look up 'Fausto Giunchiglia' in GoogleIdentified as Marco Roveri

runs on WebDSL