Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham. Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction. In Dirk Beyer 0001, Damien Zufferey, editors, Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings. Volume 11990 of Lecture Notes in Computer Science, pages 112-135, Springer, 2020. [doi]

This author has not been identified. Look up 'Oren Ish-Shalom' in GoogleThis author has not been identified. Look up 'Shachar Itzhaky' in GoogleThis author has not been identified. Look up 'Noam Rinetzky' in GoogleThis author has not been identified. Look up 'Sharon Shoham' in Google

runs on WebDSL