Approximate reachability don't cares for CTL model checking.

In-Ho Moon, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi, Jun Yuan, Carl Pixley

Browse the full ICCAD paper archive.