Tearing based automatic abstraction for CTL model checking.

Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi

Browse the full ICCAD paper archive.