formally-verifiedとは 意味・読み方・使い方

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.例文帳に追加

あらかじめ形式的に記述しておいた仕様（例えばメソッドの事前条件と事後条件）に従って、プログラムの動作状況を自動的に検証、プログラム内の誤っている箇所の範囲、つまり挙動を確認すべき範囲を自動的に絞り込む。 - 特許庁