42 citations · 127 across the 17 of their papers we have counts for
1 paper · 1 filter
Alfons Laarman, Jaco van de Pol, Michael Weber
This paper focuses on data structures for multi-core reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of an efficie…