Application of Wu's method to symbolic model checking.

Weibo Mao, Jinzhao Wu

Browse the full ISSAC paper archive.