Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification

Cite this paper

@inproceedings{Fraer2000PrioritizedTE, title={Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification}, author={Ranan Fraer and Gila Kamhi and Barukh Ziv and Moshe Y. Vardi and Limor Fix}, booktitle={CAV}, year={2000} }