| 意味 | 例文 (2件) |
formally-verifiedとは 意味・読み方・使い方
追加できません
(登録数上限)
単語を追加
意味・対訳 形式的検証した
「formally-verified」の部分一致の例文検索結果
該当件数 : 2件
The word candidate the propriety of which is verified is formally registered by a word candidate formal registration part 10.例文帳に追加
正当性が検証された単語候補は単語候補正式登録部１０によって正式に登録される。 - 特許庁
In the information processor, an operation situation of the program is automatically verified according to previously formally described specifications (e.g. a precondition and a postcondition of a method), and a range of an erroneous position inside the program, that is, a range wherein behavior should be confirmed is automatically narrowed down.例文帳に追加
あらかじめ形式的に記述しておいた仕様（例えばメソッドの事前条件と事後条件）に従って、プログラムの動作状況を自動的に検証、プログラム内の誤っている箇所の範囲、つまり挙動を確認すべき範囲を自動的に絞り込む。 - 特許庁
-
履歴機能
過去に調べた
単語を確認! -
語彙力診断
診断回数が
増える! -
マイ単語帳
便利な
学習機能付き! -
マイ例文帳
文章で
単語を理解! -
|
| 意味 | 例文 (2件) |
|
|
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
みんなの検索ランキング
閲覧履歴
 | 「formally-verified」のお隣キーワード |
weblioのその他のサービス
|
ログイン |
Weblio会員(無料)になると
|
