「"model checking"」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

A detail model-checking section 17 detects interference from the overlapping between the detail interference spaces, with respect to the body part on which a simple model-checking section 15 has detected interference from the overlapping between the interference spaces.例文帳に追加

簡易モデルチェック部１５が干渉空間同士の重なり合いから干渉を検出した部位について、詳細モデルチェック部１７が詳細干渉空間の重なり合いから干渉を検出する。 - 特許庁

To provide a method for tunneling and slicing based bounded model checking (BMC) decomposition to improve efficiency and reduce complexity for computer program verification.例文帳に追加

コンピュータ・プログラム検証の効率を改善し複雑さを減少するための、トンネリング及びスライシング・ベースの有界モデル検査（ＢＭＣ）分解のための方法を提供する。 - 特許庁

A program is decomposed for bounded model checking (BMC) into subproblems by creating a tunnel based on disjunctive control paths through the program.例文帳に追加

プログラムは、このプログラムを介して分離的な制御経路にもとづいてトンネルを創出することによる、有界モデル検査（ＢＭＣ）のために、下位問題に分解されている。 - 特許庁

The defect detection step includes: a step for capturing use cases associated with the software application, and for checking their validity; a step for providing an automatic invocation of property monitors for model checking; a step for visualizing one or more defects in the software application for diagnosis.例文帳に追加

この欠陥検出段階は、ソフトウェアアプリケーションと関連する使用状況を捕らえ、その有効性を確認する段階と、モデルチェックのための特性モニタの自動起動を与える段階と、診断のためにソフトウェアアプリケーションにおける１又はそれ以上の欠陥を視覚化する段階とを有する。 - 特許庁