Simplifying Loop Invariant Generation Using Splitter Predicates - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rahul Sharma 0001, Isil Dillig, Thomas Dillig, Alex Aiken. Simplifying Loop Invariant Generation Using Splitter Predicates. In Ganesh Gopalakrishnan, Shaz Qadeer, editors, Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings. Volume 6806 of Lecture Notes in Computer Science, pages 703-719, Springer, 2011. [doi]

This author has not been identified. Look up 'Rahul Sharma 0001' in GoogleThis author has not been identified. Look up 'Isil Dillig' in GoogleThis author has not been identified. Look up 'Thomas Dillig' in GoogleThis author has not been identified. Look up 'Alex Aiken' in Google

runs on WebDSL