「bounded model」に関連した英語例文の一覧と使い方

「bounded model」を含む例文一覧(2)

A program is decomposed for bounded model checking (BMC) into subproblems by creating a tunnel based on disjunctive control paths through the program.
プログラムは、このプログラムを介して分離的な制御経路にもとづいてトンネルを創出することによる、有界モデル検査（ＢＭＣ）のために、下位問題に分解されている。 - 特許庁
To provide a method for tunneling and slicing based bounded model checking (BMC) decomposition to improve efficiency and reduce complexity for computer program verification.
コンピュータ・プログラム検証の効率を改善し複雑さを減少するための、トンネリング及びスライシング・ベースの有界モデル検査（ＢＭＣ）分解のための方法を提供する。 - 特許庁