model checkerとは 意味・読み方・使い方

Typically, a Java model checker is augmented to check for certain types of requirements or properties in performing the symbolic execution.例文帳に追加

典型的に、シンボリック実行を行う際に一定種類の要求又はプロパティを検査するよう、Ｊａｖａモデルチェッカが拡張される。 - 特許庁

Thus, the model is changed by a general and direct method so that the design including the combination loop is verified by the verifying system being available at present without changing the model checker itself.例文帳に追加

このように、一般的な直接的方法でモデルを変更することで、組合せループを含むデザインは、モデルチェッカー自体を変更する必要なく現在使用可能な検証システムで検証できる。 - 特許庁

A memory access checker 107 verifies logic of the memory control circuit 102 using the transaction information acquired by the memory model 105 and the transaction information held by the transaction monitor 104.例文帳に追加

そして、メモリアクセスチェッカー１０７は、メモリモデル１０５が取得したトランザクション情報と、トランザクションモニタ１０４が保持したトランザクション情報とを用いてメモリ制御回路１０２の論理検証をする。 - 特許庁