Treffer: CSim²: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee.
Title:
CSim²: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee.
Authors:
SANAN, DAVID1 sanan@ntu.edu.sg, YONGWANG ZHAO2 shang-wei.lin@ntu.edu.sg, SHANG-WEI LIN1 yangliu@ntu.edu.sg, LIU YANG1 zhaoyw@zju.edu.cn
Source:
ACM Transactions on Programming Languages & Systems. Apr2021, Vol. 43 Issue 1, p1-46. 46p.
Database:
Business Source Ultimate