反例の英語

不要反例の検出を低減し、反例解析の効率を向上させることができるモデル検査装置を提供する。例文帳に追加

To provide a model inspection device which reduces detection of unnecessary counter examples and improves the efficiency of counter example analysis. - 特許庁

反例に加え、正例とそれに対応するプロパティを利用する。例文帳に追加

A property correction device or the like uses a positive example, and a property corresponding thereto, in addition to a negative example. - 特許庁

例／反例画像選択部５で、使用者が検索したいと考える画像（例画像）と検索したくないと考える画像（反例画像）とを選択する。例文帳に追加

The images (example images) which are desired by a user to retrieve and the images (anti-example images) which are not desired by the user are selected at an example/anti-example image selection part 5. - 特許庁

モデル検証実行部３０は、モデル検証コードを入力としてＳｐｉｎを実行し、当該システムの仕様の反例を示すデータを検証結果（反例）として取得する。例文帳に追加

A model verification execution part 30 executes Spin with the model verification code as input, and acquires data indicating a counter example of the specification of the system as a verification result (the counter example). - 特許庁

(これらの最も多くの反例に現れるプロセス・処理は不具合の原因である可能性が高い。)例文帳に追加

There is a high possibility that the process or the processing that appears in the most counter examples is the cause of a failure. - 特許庁

検証仕様の記述量を省力化し、複雑な検証仕様の誤りを減らし、偽反例を可及的に低減する。例文帳に追加

To reduce the number of false counterexamples as small as possible by saving the amount of descriptions of verification specifications, and reducing errors with complex verification specifications. - 特許庁

また、正例側あるいは反例側の差分状態遷移列で用いられているプロパティ中の条件を、不足条件の候補として利用する。例文帳に追加

The property correction device or the like uses a condition in the property used in a differential state transition line in a positive example side or a negative example side, as a candidate of insufficient condition. - 特許庁

対象プログラムに対してモデル検査を行った結果得られる反例のパス情報どおりに実行可能なテストプログラムを効果的に生成すること。例文帳に追加

To effectively generate an executable test program according to path information of a counterexample gained as a result of performing a model inspection to an object program. - 特許庁