Concurrent Chaining Hash Maps for Software Model Checking.

Freark I. van der Berg, Jaco van de Pol

Browse the full FMCAD paper archive.