Safety model checking with complementary approximations.

Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi

Browse the full ICCAD paper archive.