A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis.

Ming-Ying Chung, Gianfranco Ciardo, Andy Jinqing Yu

Browse the full ATVA paper archive.