「program verification technique」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

VEHICLE TRAVELLING VERIFICATION SYSTEM, VEHICLE TRAVELLING VERIFICATION TECHNIQUE, AND PROGRAM例文帳に追加

車両走行検証システム、車両走行検証方法及びプログラム - 特許庁

To provide a vehicle travelling verification system, a vehicle travelling verification technique, and a program capable of detecting the fake itself of GPS satellite observation data.例文帳に追加

ＧＰＳ衛星観測データの捏造自体を検出できる車両走行検証システム、車両走行検証方法及びプログラムを提供する。 - 特許庁

To provide a technique of generating test data capable of testing a verification program without preparing multiple test data.例文帳に追加

複数のテストデータを準備することなく、検証プログラムをテストすることができるテストデータを生成する技術を提供する。 - 特許庁

To provide an abstraction device and a verification device of circuit description, an abstraction program and a verification program of the circuit description, and an abstraction method and a verification method of the circuit description, allowing facilitation of verification of the circuit description converted into a formal specification, wherein description contents of a program can be verified by a formal technique.例文帳に追加

プログラムの記述内容を形式的手法による検証が可能な形式的仕様に変換した回路記述の検証を簡便ならしめることができる回路記述の抽象化装置及び検証装置、回路記述の抽象化プログラム及び検証プログラム、並びに回路記述の抽象化方法及び検証方法を提供する。 - 特許庁

A program verification apparatus measures as a degree of exhaustiveness a range verified by model examination techniques using such an existing technique as embedding arrival confirmation codes in portions of conditional branching, and indicates the measuring result together with the verification result, thereby indicating the possibility of an assumption error to an operator.例文帳に追加

条件分岐箇所へ到達確認用のコードを埋め込む等の既存技術を用いてモデル検査技術で検証した範囲を網羅度として測定し、検証結果とともにその測定結果を示すことにより、作業者に仮定の誤りの可能性を示す。 - 特許庁