US8806149B2 - Logic Verifying Apparatus, and Computer-Readable Recording Medium in Which Logic Verifying Program Is Stored