An Improved Algorithm for the Evaluation of Fixpoint Expressions.

David E. Long, Anca Browne, Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero

Browse the full CAV paper archive.