JST科学技術用語日英対訳辞書

独立行政法人科学技術振興機構

model checking

モデル検査
調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる
Weblio会員登録(無料)はこちらから▶

Weblio英和対訳辞書

英和辞典・和英辞典 - Weblio辞書

Model checking

モデル検査
モデル検査（Model Checking）とは、形式システムをアルゴリズム的に検証する手法である。
Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

ウィキペディア英語版

出典：Wikipedia

Model checking

出典:『Wikipedia』 (2011/06/08 11:38 UTC 版)

英語による解説

ウィキペディア英語版からの引用
引用

In computer science, model checking refers to the following problem: Given a model of a system, test automatically whether this model meets a given specification. Typically, the systems one has in mind are hardware or software systems, and the specification contains safety requirements such as the absence of deadlocks and similar critical states that can cause the system to crash. Model checking is a technique for automatically verifying correctness properties of finite-state systems.

Model Checkingのページの著作権