42 citations · 97 across the 19 of their papers we have counts for
1 paper · 2 filters
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…