CTL model checking based on forward state traversal.

Hiroaki Iwashita, Tsuneo Nakata, Fumiyasu Hirose

Browse the full ICCAD paper archive.