A circuit approach to LTL model checking.

Koen Claessen, Niklas En, Baruch Sterin

Browse the full FMCAD paper archive.