Boosting multi-core reachability performance with shared hash tables.

Alfons Laarman, Jaco van de Pol, Michael Weber

Browse the full FMCAD paper archive.