Generating Modulo-2 Linear Invariants for Hardware Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gadi Aleksandrowicz, Alexander Ivrii, Oded Margalit, Dan Rasin. Generating Modulo-2 Linear Invariants for Hardware Model Checking. In Eran Yahav, editor, Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings. Volume 8855 of Lecture Notes in Computer Science, pages 54-67, Springer, 2014. [doi]

This author has not been identified. Look up 'Gadi Aleksandrowicz' in GoogleThis author has not been identified. Look up 'Alexander Ivrii' in GoogleThis author has not been identified. Look up 'Oded Margalit' in GoogleThis author has not been identified. Look up 'Dan Rasin' in Google

runs on WebDSL