1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Sadegh Dalvandi, Brijesh Dongol
Deductive verification of concurrent programs under weak memory has thus far been limited to simple programs over a monolithic state space. For scalability, we also require modular…