Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification.

Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix

Browse the full CAV paper archive.