591 citations · 697 across the 15 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…