「program verification method」に関連した英語例文の一覧と使い方(11ページ目) - Weblio英語例文検索

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.例文帳に追加

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

PROGRAM ALTERATION VERIFICATION METHOD, ENCAPSULATED DOCUMENT STRUCTURE, STORAGE MEDIUM, ENCAPSULATED DOCUMENT FORMATION DEVICE, ALTERATION VERIFICATION DEVICE, ENCAPSULATED DOCUMENT FORMATION PROCESSING PROGRAM, STORAGE MEDIUM STORING IT, STARTING PROGRAM, AND STORAGE MEDIUM STORING IT例文帳に追加

プログラム改ざん検証方法、カプセル化文書構造、記憶媒体、カプセル化文書作成装置、改ざん検証装置、カプセル化文書作成処理プログラム、これを記憶する記憶媒体、起動プログラム及びこれを記憶する記憶媒体 - 特許庁

SIGNATURE VERIFICATION DEVICE, ITS METHOD, COMPUTER PROGRAM, RECORDING MEDIUM WITH THE PROGRAM RECORDED, AUTHENTICATION STATION, AND METHOD FOR ISSUING PUBLIC KEY CERTIFICATE例文帳に追加

署名検証装置、その方法、コンピュータプログラム及びそのプログラムを記録した記録媒体、ならびに認証局及び公開鍵証明書発行方法 - 特許庁

To provide an executing method for program verification operation, an executing method for erasing verification operation, and a detection time control circuit in which erroneous trial of program verification operation is prevented while speed of a flash memory device is not adversely affected.例文帳に追加

プログラム検証動作が誤って試行されるのを防止すると共に、フラッシュメモリデバイスの速度に悪影響を及ぼさないようにすることが可能なプログラム検証動作の実施方法、消去検証動作の実施方法、および検出時間制御回路の提供を図る。 - 特許庁

ATTRIBUTE CERTIFICATE PROCESSING SYSTEM, ATTRIBUTE CERTIFICATION REQUEST DEVICE, ATTRIBUTE CERTIFICATE ISSUING DEVICE, ATTRIBUTE VERIFICATION DEVICE, ATTRIBUTE CERTIFICATION REQUEST METHOD, ATTRIBUTE CERTIFICATE ISSUING METHOD, ATTRIBUTE VERIFICATION METHOD AND PROGRAM例文帳に追加

属性証明書処理システム、属性証明要求装置、属性証明書発行装置、属性検証装置、属性証明要求方法、属性証明書発行方法、属性検証方法及びプログラム - 特許庁

METHOD AND DEVICE FOR IDENTITY VERIFICATION, MEDIUM- PREPARING DEVICE, PROCESSING METHOD FOR MEDIUM SAVING INFORMATION, PROGRAM AND RECORDING MEDIUM例文帳に追加

本人確認方法、本人確認装置、媒体作成装置、媒体、媒体保管情報の処理方法、プログラム及び記録媒体 - 特許庁

AUTHORITY VERIFICATION APPARATUS, USER TERMINAL DEVICE, KEY GENERATING APPARATUS, ACCESS CONTROL SYSTEM, COMPUTER PROGRAM, AUTHORITY VERIFICATION METHOD, OPERATION REQUEST NOTIFYING METHOD, KEY GENERATING METHOD AND ACCESS CONTROL METHOD例文帳に追加

権限検証装置及び利用者端末装置及び鍵生成装置及びアクセス制御システム及びコンピュータプログラム及び権限検証方法及び操作要求通知方法及び鍵生成方法及びアクセス制御方法 - 特許庁

PARAMETER EXTRACTION METHOD, CIRCUIT OPERATION VERIFICATION METHOD, AND STORAGE MEDIUM HAVING PROGRAM FOR EXECUTING PARAMETER EXTRACTION METHOD例文帳に追加

パラメータ抽出方法及び回路動作検証方法並びに当該パラメータ抽出方法を実行させるためのプログラムを具備する記憶媒体 - 特許庁

VOLTAGE FLUCTUATION ESTIMATING METHOD AND APPARATUS, SEMICONDUCTOR DEVICE OPERATION VERIFICATION APPARATUS, SEMICONDUCTOR DEVICE DESIGNING METHOD, PRINTED CIRCUIT BOARD DESIGNING METHOD, AND PROGRAM THEREFOR例文帳に追加

電圧変動量見積方法、装置、半導体装置動作検証装置、半導体装置設計方法、プリント板設計方法、及びプログラム - 特許庁

IMAGE VERIFICATION DEVICE, IMAGE EMBEDDING DEVICE, IMAGE DETECTION DEVICE, IMAGE EMBEDDING METHOD, IMAGE DETECTION METHOD, COMPUTER PROGRAM, AND PRINTED MATTER MANUFACTURING METHOD例文帳に追加

画像検証装置，画像埋め込み装置，画像検出装置，画像埋め込み方法，画像検出方法，コンピュータプログラム，および印刷物製造方法 - 特許庁

AUTHENTICATED ENCRYPTION METHOD AND APPARATUS, AUTHENTICATED ENCRYPTION PROGRAM, MEMORY MEDIUM HAVING AUTHENTICATED ENCRYPTION PROGRAM STORED THEREON, AUTHENTICATED DECRYPTION METHOD AND APPARATUS, AUTHENTICATED DECRYPTION PROGRAM, MEMORY MEDIUM HAVING AUTHENTICATED DECRYPTION PROGRAM STORED THEREON, DENIAL CANCELLING METHOD, VERIFYING METHOD, VERIFIER AND VERIFICATION PROGRAM, AND MEMORY MEDIUM HAVING THE VERIFICATION PROGRAM STORED THEREON例文帳に追加

認証付暗号方法及び装置及び認証付暗号プログラム及び認証付暗号プログラムを格納した記憶媒体及び認証付復号方法及び装置及び認証付復号プログラム及び認証付復号プログラムを格納した記憶媒体及び否認性取り消し方法及び検証方法及び検証装置及び検証プログラム及び検証プログラムを格納した記憶媒体 - 特許庁

PROGRAM, DEVICE AND METHOD FOR SUPPORTING VERIFICATION OF LEAK CURRENT DISTRIBUTION例文帳に追加

リーク電流分布検証支援プログラム、リーク電流分布検証支援装置およびリーク電流分布検証支援方法 - 特許庁

LOGIC VERIFICATION SYSTEM, REMOTE CONTROL METHOD USED THEREFOR AND RECORD MEDIUM RECORDED WITH CONTROL PROGRAM例文帳に追加

論理検証システム及びそれに用いる遠隔制御方法並びにその制御プログラムを記録した記録媒体 - 特許庁

METHOD AND DEVICE FOR VERIFYING LOGIC CIRCUIT, AND RECORDING MEDIUM WITH LOGIC CIRCUIT VERIFICATION PROGRAM STORED THEREIN例文帳に追加

論理回路検証装置及び論理回路検証方法及び論理回路検証プログラムを格納した記録媒体 - 特許庁

PROGRAM VERIFICATION METHOD FOR NONVOLATILE MEMORY ELEMENT, SEMICONDUCTOR MEMORY DEVICE, AND PORTABLE ELECTRONIC DEVICE EQUIPPED WITH THE SAME例文帳に追加

不揮発性メモリ素子のプログラム検証方法および半導体記憶装置とそれを備えた携帯電子機器 - 特許庁

METHOD, SYSTEM, AND COMPUTER PROGRAM FOR DIGITAL VERIFICATION OF COLLECTED PRIVACY POLICY IN ELECTRONIC TRANSACTION例文帳に追加

電子取引において収集されたプライバシ・ポリシをディジタル的に検証するための方法、システム、およびコンピュータ・プログラム - 特許庁

To provide a circuit function verification method and program capable of quickly and surely verifying hardware.例文帳に追加

ハードウェアの検証を迅速且つ確実に行うことのできる回路機能検証方法及びプログラムを提供する。 - 特許庁

VERIFICATION DEVICE AND METHOD FOR ADDITIONAL PRODUCTION POSSIBILITY AND RECORD MEDIUM WITH CONTROL PROGRAM RECORDED例文帳に追加

追加生産可能性検証装置及びその検証方法並びにその制御プログラムを記録した記録媒体 - 特許庁

DEVICE, METHOD AND PROGRAM FOR CAD DATA IDENTITY VERIFICATION例文帳に追加

ＣＡＤデータ同一性検証装置、ＣＡＤデータ同一性検証方法、及びＣＡＤデータ同一性検証プログラム - 特許庁

DEVICE AND METHOD FOR VERIFYING MULTI-CYCLE PATH AND COMPUTER READABLE STORAGE MEDIUM WITH VERIFICATION PROGRAM STORED THEREIN例文帳に追加

マルチサイクルパス検証装置、検証方法及び検証プログラムを記憶したコンピュータ読み取り可能な記憶媒体 - 特許庁

DOCUMENT PREPARATION SYSTEM, METHOD AND PROGRAM, RECORDING MEDIUM STORING ITS PROGRAM AND DOCUMENT VERIFICATION SYSTEM, METHOD AND PROGRAM, AND RECORDING MEDIUM STORING ITS PROGRAM例文帳に追加

文書作成装置、文書検証装置、文書作成方法、文書検証方法、文書作成プログラム、文書検証プログラム、文書作成プログラムを格納した記録媒体、および文書検証プログラムを格納した記録媒体 - 特許庁

TIME CERTIFICATION APPARATUS, TIME CERTIFICATION REQUEST ACCEPTING APPARATUS, TIME CERTIFICATION METHOD, TIME CERTIFICATION REQUEST ACCEPTING METHOD, TIME CERTIFICATION PROGRAM, TIME CERTIFICATION REQUEST ACCEPTANCE PROGRAM, TIME CERTIFICATION VERIFICATION PROGRAM, AND PROGRAM RECORDING MEDIUM例文帳に追加

時刻証明装置、時刻証明要求受付装置、時刻証明方法、時刻証明要求受付方法、時刻証明プログラム、時刻証明要求受付プログラム、時刻証明検証プログラム、およびプログラム記録媒体 - 特許庁

A system and method for program verification includes generating a product transaction graph for a concurrent program, which captures warnings for potential errors.例文帳に追加

プログラム検証のシステムおよび方法は、潜在的誤りに対する警告を捕える並行プログラムの製品トランザクショングラフを生成すること含む。 - 特許庁

To provide a logic simulator for preventing an overlapping transaction that has been already issued from being issued again, and to provide a logic circuit verification method and a logic circuit verification program.例文帳に追加

既に発行された重複するトランザクションの再発行を防ぐ論理シミュレータ、論理回路検証方法及び論理回路検証プログラムを提供すること。 - 特許庁

To provide a behavioral synthesis verification auxiliary device, a behavioral synthesis verification auxiliary method, a program and a recording medium for preventing bugs, setting error or omission.例文帳に追加

バグの混入や設定ミス、設定漏れの発生を抑えた動作合成検証補助装置、動作合成検証補助方法、プログラム、及び記録媒体を提供する。 - 特許庁

To provide a test case validity automatic verification program and a test case validity automatic verification result display method which can verify test case validity appropriately.例文帳に追加

適切にテストケース妥当性を検証することができるテストケース妥当性自動検証プログラムおよびテストケース妥当性自動検証結果表示方法を提供する。 - 特許庁

To prevent the erroneous trying of program verification operation and the like and the reduction of the speed of a flash memory device when program verification operation and the like are performed after delay previously set, in an execution method of program verification operation and erasion verification operation, a control circuit for a detecting time, and a flash memory device.例文帳に追加

プログラム検証動作および消去検証動作の実施方法、検出時間制御回路およびフラッシュメモリデバイスに関し、予め設定された遅延後にプログラム検証動作等を実施する場合に、プログラム検証動作等が誤って試行されたりフラッシュメモリデバイスの速度が低下したりするのを防止することを目的とする。 - 特許庁

To provide a cross verification device capable of performing cross verification among a natural language specification, a C-language program and a GUI-base control logic in development of control software for engine, and capable of consequently enhancing the efficiency of the development; a cross verification method; and a cross verification program.例文帳に追加

エンジンの制御ソフトウェアの開発において自然言語の仕様とＣ言語のプログラムとＧＵＩベースの制御ロジックとのクロス検証を行うことができ、結果的に当該開発の効率を高めることができるクロス検証装置、クロス検証方法およびクロス検証プログラムを提供することを課題とする。 - 特許庁

To provide a circuit verification device, a circuit verification program and a circuit verification method capable of increasing the probability of shifting of a storage circuit such as a queue circuit to a saturated state without changing the logic of a circuit and shortening the time of circuit verification in the circuit verification by software.例文帳に追加

ソフトウェアによる回路検証において、回路の論理を変えずにキュー回路等の蓄積回路が飽和状態に遷移する確率を増加させると共に、回路検証の時間を短縮することができる回路検証装置、回路検証プログラム、回路検証方法を提供することを目的とする。 - 特許庁

CALIBRATION VERIFICATION METHOD IN NETWORK ANALYZER, NETWORK ANALYZER PROVIDED WITH FUNCTIONAL MEANS FOR IMPLEMENTING SAME METHOD, AND PROGRAM FOR IMPLEMENTING SAME METHOD例文帳に追加

ネットワーク・アナライザにおける校正の検証方法、該検証方法を実施するための機能手段を備えるネットワークアナライザ、該検証方法を実施するためのプログラム - 特許庁

METHOD FOR UTILIZING SERVICE, USER UNIT, SERVICE UTILIZATION PROCESSING PROGRAM, SERVICE PROVIDER UNIT, SERVICE PROVISION PROCESSING PROGRAM, VERIFIER UNIT, VERIFICATION PROCESSING PROGRAM, CERTIFICATE MANAGEMENT UNIT, CERTIFICATE MANAGEMENT PROGRAM AND RECORDING MEDIUM例文帳に追加

サービス利用方法、ユーザ装置、サービス利用処理プログラム、サービス提供者装置、サービス提供処理プログラム、検証者装置、検証処理プログラム、証明書管理装置、証明書管理プログラム及び記録媒体 - 特許庁

DEVICE AND METHOD FOR API SPECIFICATION VERIFICATION, PROGRAM FOR EXECUTING THE SAME, AND STORAGE MEDIUM FOR STORING THE SAME例文帳に追加

ＡＰＩ仕様検証装置及び方法、当該方法を実行させるプログラム、当該プログラムを格納する記憶媒体 - 特許庁

SEMICONDUCTOR INTEGRATED CIRCUIT, ITS DESIGNING DEVICE, DESIGNING METHOD, DESIGNING PROGRAM, TEST VECTOR VERIFICATION DEVICE, AND TEST VECTOR GENERATION DEVICE例文帳に追加

半導体集積回路、その設計装置、設計方法、設計プログラム、テストベクタ検証装置、およびテストベクタ作成装置 - 特許庁

VERIFICATION SYSTEM, SEMICONDUCTOR INTEGRATED CIRCUIT, METHOD AND PROGRAM FOR VERIFYING SEMICONDUCTOR INTEGRATED CIRCUIT例文帳に追加

検証システム、半導体集積回路、半導体集積回路の検証方法、及び半導体集積回路の検証プログラム - 特許庁

VIRTUAL TESTER, TEST DEVICE, TEST SYSTEM FOR SEMICONDUCTOR INTEGRATED CIRCUIT, AND VERIFICATION METHOD OF TEST PROGRAM FOR SEMICONDUCTOR INTEGRATED CIRCUIT例文帳に追加

仮想テスタ、テスト装置、半導体集積回路用テストシステム、及び半導体集積回路用テストプログラムの検証方法 - 特許庁

SYSTEM AND METHOD FOR VERIFYING DESIGN AND COMPUTER- READABLE MEDIUM WITH PROGRAM FOR DESIGN VERIFICATION RECORDED THEREON例文帳に追加

設計検証システム、設計検証方法および設計検証プログラムを格納したコンピュータ読取り可能な記録媒体 - 特許庁

SYSTEM AND METHOD FOR VERIFICATION, DEVICE AND METHOD FOR PROCESSING INFORMATION, DEVICE AND METHOD FOR MANAGING ORDER RECEPTION, DEVICE AND METHOD FOR MANAGING DELIVERY, CHIP AND METHOD FOR MANAGING INFORMATION, RECORDING MEDIUM AND PROGRAM例文帳に追加

検証システムおよび方法、情報処理装置および方法、受注管理装置および方法、配送管理装置および方法、情報管理チップおよび方法、記録媒体、並びにプログラム - 特許庁

To provide an identification code verifying device, an identification code verification system, a method of verifying an identification code, and an identification code verification program, which easily perform verification when separately performing printing and verification of an identification code and verifying identification codes of various types.例文帳に追加

識別コードの印刷と検証を別々に行なう場合や、様々なタイプの識別コードの検証を行なう場合に、検証を容易に行なうことができる識別コード検証装置、識別コード検証システム、識別コード検証方法、識別コード検証プログラムを提供することである。 - 特許庁

INFORMATION TERMINAL EQUIPPED WITH TIME OF DAY SYNCHRONIZATION FUNCTION, PROGRAM, METHOD AND DEVICE FOR TIME OF DAY SYNCHRONIZATION, INFORMATION TERMINAL EQUIPPED WITH TIME OF DAY VERIFICATION REQUESTING FUNCTION, PROGRAM, METHOD AND DEVICE FOR REQUESTING TIME OF DAY VERIFICATION例文帳に追加

時刻同期機能を備えた情報端末、時刻同期プログラム、時刻同期方法および時刻同期装置、ならびに時刻認証要求機能を備えた情報端末、時刻認証要求プログラム、時刻認証方法および時刻認証要求装置 - 特許庁

To provide a parameter verification system, device, method and program for performing parameter verification work efficiently with high quality without having impact on general users.例文帳に追加

パラメータ検証の作業を一般ユーザに影響を与えることなく、高品質で効率的に実施できるパラメータ検証システム、パラメータ検証装置、パラメータ検証方法およびプログラムを提供する。 - 特許庁

To provide an asynchronous logic circuit verification device which can perform logic verification in a state close to a real machine without a setting constraint such as clock frequency and its method, and a program.例文帳に追加

クロック周波数などの設定制約がなく、実機に近い状況で論理検証を行うことが可能な非同期論理回路検証装置およびその方法、並びにプログラムを提供する。 - 特許庁

To provide a verification data creation method, device and program, allowing efficient creation of high-quality verification data in a short time.例文帳に追加

高品質の検証データを、短時間で効率的に作成可能な検証データ作成方法，検証データ作成装置及び検証データ作成プログラムを提供することを目的とする。 - 特許庁

INFORMATION COMMUNICATION EQUIPMENT, VERIFICATION SERVER, COMMUNICATION SYSTEM, LEAKAGE SOURCE SPECIFICATION METHOD FOR COMMUNICATION DATA, AND LEAKAGE SOURCE SPECIFICATION PROGRAM FOR COMMUNICATION DATA例文帳に追加

情報通信装置、検証サーバ、通信システム、通信データの漏洩元特定方法及び通信データの漏洩元特定プログラム - 特許庁

DEVICE, METHOD AND PROGRAM FOR AUTOMATICALLY SELECTING VERIFICATION TARGET FUNCTION例文帳に追加

検証対象関数自動選択装置、検証対象関数自動選択方法、及び検証対象関数自動選択用プログラム - 特許庁

OUTPUT LOAD VERIFYING DEVICE, OUTPUT LOAD VERIFICATION METHOD FOR HARDWARE MARCO, AND RECORDING MEDIUM WITH RECORDED THEREON OUTPUT LOAD VERIFYING PROGRAM例文帳に追加

出力負荷検証装置、ハードマクロの出力負荷検証方法および出力負荷検証プログラムを記録した記録媒体 - 特許庁