Multi-threaded reachability.

Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson

Browse the full DAC paper archive.