「counterexamples」を含む例文一覧(1)
- 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.
検証仕様の記述量を省力化し、複雑な検証仕様の誤りを減らし、偽反例を可及的に低減する。 - 特許庁
- 特許庁
- Copyright © Japan Patent office. All Rights Reserved.
