An FPGA Implementation of Explicit-State Model Checking.

Mary Ellen Fuess Miriam Leeser Tim Leonard An FPGA Implementation of Explicit-State Model Checking. 119-126 2008 FCCM http://dx.doi.org/10.1109/FCCM.2008.36 conf/fccm/2008 db/conf/fccm/fccm2008.html#FuessLL08