42 citations · 46 across the 9 of their papers we have counts for
1 paper · 1 filter
Henning Günther, Alfons Laarman, Ana Sokolova +1
Symbolic model checking of parallel programs stands and falls with effective methods of dealing with the explosion of interleavings. We propose a dynamic reduction technique to avo…