2 citations · 2 across the 4 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…