Parameterized Verification with Automatically Computed Inductive Assertions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck. Parameterized Verification with Automatically Computed Inductive Assertions. In Gérard Berry, Hubert Comon, Alain Finkel, editors, Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings. Volume 2102 of Lecture Notes in Computer Science, pages 221-234, Springer, 2001. [doi]

This author has not been identified. Look up 'Tamarah Arons' in GoogleIdentified as Amir Pnueli This author has not been identified. Look up 'Sitvanit Ruah' in GoogleThis author has not been identified. Look up 'Jiazhao Xu' in GoogleThis author has not been identified. Look up 'Lenore D. Zuck' in Google

runs on WebDSL