Using First-Order Theorem Provers in the Jahob Data Structure Verification System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Charles Bouillaguet, Viktor Kuncak, Thomas Wies, Karen Zee, Martin C. Rinard. Using First-Order Theorem Provers in the Jahob Data Structure Verification System. In Byron Cook, Andreas Podelski, editors, Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings. Volume 4349 of Lecture Notes in Computer Science, pages 74-88, Springer, 2007. [doi]

This author has not been identified. Look up 'Charles Bouillaguet' in GoogleThis author has not been identified. Look up 'Viktor Kuncak' in GoogleThis author has not been identified. Look up 'Thomas Wies' in GoogleThis author has not been identified. Look up 'Karen Zee' in GoogleThis author has not been identified. Look up 'Martin C. Rinard' in Google

runs on WebDSL