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