Approximate reachability with combined symbolic and ternary simulation.

Michael L. Case, Jason Baumgartner, Hari Mony, Robert Kanzelman

Browse the full FMCAD paper archive.