CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs.

David Sann, Yongwang Zhao, Zhe Hou, Fuyuan Zhang, Alwen Tiu, Yang Liu

Browse the full TACAS paper archive.