140 citations · 224 across the 13 of their papers we have counts for
1 paper · 1 filter
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…