16 citations · 36 across the 5 of their papers we have counts for
1 paper · 1 filter
Alfons Laarman, Jaco van de Pol, Michael Weber
This paper focuses on reducing memory usage in enumerative model checking, while maintaining the multi-core scalability obtained in earlier work. We present a tree-based multi-core…