2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee

David SanĂ¡n, Yongwang Zhao, Shang-Wei Lin 0001, Yang Liu 0003. 2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee. ACM Transactions on Programming Languages and Systems, 43(1), 2021. [doi]

Abstract

Abstract is missing.