42 citations · 97 across the 19 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.LO2011★ 12 cited
Variations on Multi-Core Nested Depth-First Search
Alfons Laarman, Jaco van de Pol
Recently, two new parallel algorithms for on-the-fly model checking of LTL properties were presented at the same conference: Automated Technology for Verification and Analysis, 201…
cs.DS2011★ 2 cited
Parallel Recursive State Compression for Free
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…