23 citations · 54 across the 12 of their papers we have counts for
1 paper · 1 filter
Anton Wijs
Swarm verification and parallel randomised depth-first search are very effective parallel techniques to hunt bugs in large state spaces. In case bugs are absent, however, scalabili…