Compositional Reasoning for Shared-variable Concurrent Programs

Fuyuan Zhang, Yongwang Zhao, David Sanan +4

Scalable and automatic formal verification for concurrent systems is always demanding. In this paper, we propose a verification framework to support automated compositional reasoni…