An FPGA Implementation of Explicit-State Model Checking.

Mary Ellen Fuess, Miriam Leeser, Tim Leonard

Browse the full FCCM paper archive.