Using Bounded Model Checking to Focus Fixpoint Iterations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David Monniaux, Laure Gonnord. Using Bounded Model Checking to Focus Fixpoint Iterations. In Eran Yahav, editor, Static Analysis - 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings. Volume 6887 of Lecture Notes in Computer Science, pages 369-385, Springer, 2011. [doi]

This author has not been identified. Look up 'David Monniaux' in GoogleThis author has not been identified. Look up 'Laure Gonnord' in Google

runs on WebDSL