Efficient LTL compilation for SAT-based model checking.

Roy Armoni, Sergey Egorov, Ranan Fraer, Dmitry Korchemny, Moshe Y. Vardi

Browse the full ICCAD paper archive.