PROGRAMVERIFICATION DEVICE AND METHOD, SIGNATURE SYSTEM BASED ON PROGRAMVERIFICATION プログラム検証装置及び方法、プログラム検証に基づく署名システム - 特許庁
VERIFICATIONPROGRAM AND VERIFICATION METHOD OF FLOATING POINT OPERATION PROGRAM 浮動小数点演算プログラム用の検証方法及び検証プログラム - 特許庁
TIMESTAMP VERIFICATION DEVICE AND PROGRAM タイムスタンプ検証装置及びプログラム - 特許庁
VERIFICATION SUPPORT PROGRAM, STORAGE MEDIUM RECORDING THIS PROGRAM, VERIFICATION SUPPORT DEVICE AND VERIFICATION SUPPORT METHOD 検証支援プログラム、該プログラムを記録した記録媒体、検証支援装置、および検証支援方法 - 特許庁
SOFTWARE DESIGN VERIFICATION DEVICE AND VERIFICATIONPROGRAM AND VERIFICATION TARGET PROGRAM TO BE USED FOR THE SAME DEVICE ソフトウェア設計検証装置ならびにそれに用いる検証プログラムおよび検証対象プログラム - 特許庁
VERIFICATION METHOD, INFORMATION PROCESSOR, RECORDING MEDIUM, VERIFICATION SYSTEM, AUTHENTICATION PROGRAM, AND VERIFICATIONPROGRAM 検証方法、情報処理装置、記録媒体、検証システム、証明プログラム及び検証プログラム - 特許庁
DESIGN VERIFICATION DEVICE, DESIGN VERIFICATIONPROGRAM, AND RECORDING MEDIUM FOR RECORDING DESIGN VERIFICATIONPROGRAM 設計検証装置、設計検証プログラム、および設計検証プログラムを記録する記録媒体 - 特許庁
VERIFICATION SUPPORT PROGRAM, RECORDING MEDIUM RECORDING THE PROGRAM, VERIFICATION SUPPORT DEVICE, AND VERIFICATION SUPPORT METHOD 検証支援プログラム、該プログラムを記録した記録媒体、検証支援装置、および検証支援方法 - 特許庁
VERIFICATION SUPPORT PROGRAM, RECORDING MEDIUM, VERIFICATION SUPPORT DEVICE AND VERIFICATION SUPPORT METHOD 検証支援プログラム、記録媒体、検証支援装置および検証支援方法 - 特許庁
VERIFICATION SUPPORT PROGRAM, RECORDING MEDIUM, VERIFICATION SUPPORT DEVICE, AND VERIFICATION SUPPORT METHOD 検証支援プログラム、記録媒体、検証支援装置、および検証支援方法 - 特許庁
VERIFICATION SUPPORT DEVICE, VERIFICATION SUPPORT METHOD, VERIFICATION SUPPORT PROGRAM AND RECORDING MEDIUM 検証支援装置、検証支援方法、検証支援プログラム、および記録媒体 - 特許庁
LOGIC VERIFICATION SYSTEM, LOGIC VERIFICATION METHOD, LOGIC VERIFICATIONPROGRAM, AND RECORDING MEDIUM 論理検証装置、論理検証方法、論理検証プログラムおよび記録媒体 - 特許庁
VERIFICATION SUPPORT APPARATUS, VERIFICATION SUPPORT METHOD, VERIFICATION SUPPORT PROGRAM, AND RECORDING MEDIUM 検証支援装置、検証支援方法、検証支援プログラム、および記録媒体 - 特許庁
VERIFICATION SUPPORT APPARATUS, VERIFICATION SUPPORT METHOD, VERIFICATION SUPPORT PROGRAM, AND RECORDING MEDIUM 検証支援装置、検証支援方法、検証支援プログラムおよび記録媒体 - 特許庁
IMAGE DATA VERIFICATIONPROGRAM, IMAGE DATA VERIFICATION METHOD AND IMAGE DATA VERIFICATION SYSTEM 画像データ検証プログラム、画像データ検証方法及び画像データ検証システム - 特許庁
MOTION HISTORY VERIFICATION SYSTEM, MOTION HISTORY VERIFICATION METHOD, AND MOTION HISTORY VERIFICATIONPROGRAM 移動履歴証明システム、移動履歴証明方法、移動履歴証明プログラム - 特許庁
LAYOUT DATA VERIFICATION APPARATUS, LAYOUT DATA VERIFICATION METHOD, AND LAYOUT DATA VERIFICATIONPROGRAM レイアウトデータ検証装置、レイアウトデータ検証方法、及びレイアウトデータ検証プログラム - 特許庁
LOGIC VERIFICATION DEVICE, LOGIC VERIFICATION METHOD AND PROGRAM 論理検証装置および論理検証方法並びにプログラム - 特許庁
LOGIC VERIFICATION DEVICE, LOGIC VERIFICATION METHOD, AND CONTROL PROGRAM 論理検証装置、論理検証方法、及び制御プログラム - 特許庁
VERIFICATION SUPPORT DEVICE, VERIFICATION SUPPORT METHOD, AND COMPUTER PROGRAM 確認支援装置、確認支援方法、およびコンピュータプログラム - 特許庁
SYSTEM LSI VERIFICATION DEVICE AND SYSTEM LSI VERIFICATIONPROGRAM システムLSI検証装置及びシステムLSI検証プログラム - 特許庁
CORRECTION VERIFICATION METHOD AND CORRECTION VERIFICATIONPROGRAM FOR MASK PATTERN マスクパターンの補正検証方法および補正検証プログラム - 特許庁
CODE VERIFICATION PROCESSING METHOD, CODE VERIFICATION PROCESSING PROGRAM AND CODE DISPLAY PROGRAM コード照合処理方法、コード照合処理プログラム及びコード表示プログラム - 特許庁
PROGRAMVERIFICATION DEVICE, AND METHOD THEREFOR プログラム検証装置及びその方法 - 特許庁
MASK PATTERN VERIFICATION METHOD AND PROGRAM マスクパターン検証方法およびプログラム - 特許庁
TRACEABILITY VERIFICATION SYSTEM, METHOD AND PROGRAM トレーサビリティ検証システム、方法、プログラム - 特許庁
VERIFICATION SUPPORT DEVICE AND COMPUTER PROGRAM 確認支援装置及びコンピュータプログラム - 特許庁
OPERATION VERIFICATION APPARATUS AND PROGRAM THEREOF 動作検証装置およびそのプログラム - 特許庁
To provide a programverificationprogram, a programverification device and a programverification method that verify a program in consideration of a memory consistency model. メモリーコンシステンシーモデルを考慮し、プログラムの検証を行うプログラム検証プログラム、プログラム検証装置、プログラム検証方法を提供する。 - 特許庁
VERIFICATION APPARATUS, VERIFICATION METHOD, AND VERIFICATIONPROGRAM FOR VERIFYING SECURITY OF PROTOCOL プロトコルの安全性を検証する検証装置、検証方法および検証プログラム - 特許庁
MODEL DESIGN VERIFICATION DEVICE, MODEL DESIGN VERIFICATION METHOD AND MODEL DESIGN VERIFICATIONPROGRAM モデル設計検証装置、モデル設計検証方法およびモデル設計検証プログラム - 特許庁
DESIGN VERIFICATION DEVICE, DESIGN VERIFICATIONPROGRAM, DESIGN VERIFICATION METHOD, AND CAD SYSTEM 設計検証装置,設計検証プログラム,設計検証方法およびCADシステム - 特許庁
VERIFICATION SUPPORT PROGRAM, RECORDING MEDIUM WITH THE PROGRAM RECORDED THEREIN, VERIFICATION SUPPORT APPARATUS, AND VERIFICATION SUPPORT METHOD 検証支援プログラム、該プログラムを記録した記録媒体、検証支援装置、および検証支援方法 - 特許庁
VERIFICATION SUPPORT PROGRAM, RECORDING MEDIUM WITH THE PROGRAM RECORDED THEREON, VERIFICATION SUPPORT DEVICE, AND VERIFICATION SUPPORT METHOD 検証支援プログラム、該プログラムを記録した記録媒体、検証支援装置、および検証支援方法 - 特許庁
RADIO WAVE BROADCAST VERIFICATION APPARATUS AND PROGRAM 電波放送検証装置及びプログラム - 特許庁
LOGIC VERIFICATIONPROGRAM AND RECORDING MEDIUM 論理検証プログラム及び記録媒体 - 特許庁
OPERATION TIMING VERIFICATION DEVICE AND PROGRAM 動作タイミング検証装置及びプログラム - 特許庁