Least fixpoint approximations for reachability analysis.

In-Ho Moon, James H. Kukula, Thomas R. Shiple, Fabio Somenzi

Browse the full ICCAD paper archive.