Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free Algorithms.

Thomas Pani, Georg Weissenbacher, Florian Zuleger

Browse the full FMCAD paper archive.