3 citations · 7 across the 6 of their papers we have counts for
1 paper · 2 filters
Duc-Hiep Chu, Joxan Jaffar
We address the problem of reasoning about interleavings in safety verification of concurrent programs. In the literature, there are two prominent techniques for pruning the search…