国際・国内特許データベース検索

1. (WO2018193548) 等価性検証装置および等価性検証プログラム

Pub. No.:    WO/2018/193548    International Application No.:    PCT/JP2017/015709
Publication Date: Fri Oct 26 01:59:59 CEST 2018 International Filing Date: Thu Apr 20 01:59:59 CEST 2017
IPC: G06F 11/36
Applicants: MITSUBISHI ELECTRIC CORPORATION
三菱電機株式会社
Inventors: YONEMOCHI, Kazuki
米持 一樹
ISODA, Makoto
磯田 誠
Title: 等価性検証装置および等価性検証プログラム
Abstract:
生成部(110)は、第1関数と第2関数との等価性を検査するための検査ラッパーを生成する。検査ラッパーは、第1関数と第2関数とを繰り返し呼び出すためのループ文を含む。検査部(130)は、検査ラッパーを用いて等価性検査を行うことによって、第1関数と前記第2関数とが呼び出された回数毎に第1関数と第2関数との等価性を判定する。