A Work-Efficient Distributed Algorithm for Reachability Analysis.

Orna Grumberg, Tamir Heyman, Assaf Schuster

Browse the full CAV paper archive.