形式的検証したの英語

これによって、この入力信号を少ない値に設定することにより、この信号ｃｎｔ＿ｖａｌ１、ｃｎｔ＿ｖａｌ２、ｃｎｔ＿ｖａｌ３、ｃｎｔ＿ｖａｌ４と比較を行なうカウンタの状態数を減らして形式的論理検証を行なう。例文帳に追加

Thus, it is possible to achieve formal logical verification by reducing the number of states of a counter which compares count values with the signals cnt_val1, cnt_val2, cnt_val3 and cnt_val4. - 特許庁

内部管理態勢のあり方は検査対象先の姿勢を把握する上で重要な要素であることを踏まえ、形式的な管理体制のみならず、その有効性及び実効性についても深度ある検証を行う。例文帳に追加

As a firm’s internal control system is an important element in assessing the basic posture of the firm, the Commission will verify the effectiveness of its functioning.発音を聞く  - 金融庁

試験者は、ＵＭＬモデリングツール５０（以下、ツール５０）を介して、検証方法を表すテスト仕様を例えばシーケンス図の形式で視覚的に認識可能に作成することができる。例文帳に追加

Test specification showing a verification method can be created by an examiner so as to be visually recognizable, for example, in the format of a sequence figure through a UML modeling tool 50 (tool 50). - 特許庁

２次双曲線群を用いた暗号化・複合化装置においてどのような装置構成、ファイル構成、及び文字形式を採用すれば実用的であるのか検証する。例文帳に追加

To verify what device configuration, file configuration, and character form should be employed for the practicality of an encryption/decryption device using second-order hyperbola groups. - 特許庁

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

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. - 特許庁

これらの形式にこだわらず、記載すべき事項が漏れなく明文化され、取締役会等の承認を受け、必要のある役職員に周知徹底され、実効的な本人確認に係る態勢が整備されているか否かを実証的に検証する。例文帳に追加

The inspector should empirically review, regardless of the form of rules, whether or not the rules exhaustively stipulate necessary matters and are fully disseminated to the personnel who should be acquainted with them, upon approval by the Board of Directors or organization equivalent to the Board of Directors, thus ensuring an effective customer identity verification system.発音を聞く  - 金融庁

これらの形式にこだわらず、記載すべき事項が漏れなく明文化され、取締役会等の承認を受け、必要のある役職員に周知徹底され、顧客保護等の実効的な態勢が整備されているか否かを実証的に検証する。例文帳に追加

The inspector should empirically review, regardless of the form of rules, whether or not the rules exhaustively stipulate necessary matters and are fully disseminated to personnel who should be acquainted with them, upon approval by the Board of Directors, thus ensuring an effective system of Customer Protection. (hereinafter referred to as the “Customer Support”)発音を聞く  - 金融庁

10 本人確認規程は、必ずしも一本化されていない場合やコンプライアンス・マニュアル等に統合されている場合もある。これらの形式にこだわらず、記載すべき事項が漏れなく明文化され、取締役会等の承認を受け、必要のある役職員に周知徹底され、実効的な本人確認に係る態勢が整備されているか否かを実証的に検証する。例文帳に追加

10 The Customer Identity Verification Rules may not be available as a single set of rules in some cases, and they may be integrated with the Compliance Manual, etc. in other cases. The inspector should empirically review, regardless of the form of rules, whether or not the rules exhaustively stipulate necessary matters and are fully disseminated to the personnel who should be acquainted with them, upon approval by the Board of Directors or equivalent organization to the Board of Directors, thus ensuring an effective customer identity verification system.発音を聞く  - 金融庁