A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems.

Yongwang Zhao, David Sann, Fuyuan Zhang, Yang Liu

Browse the full FM paper archive.