PROGRAM ANALYSIS/VERIFICATION SERVICE PROVISION SYSTEM, CONTROL METHOD FOR SAME, CONTROL PROGRAM, CONTROL PROGRAM FOR DIRECTING COMPUTER TO FUNCTION, PROGRAM ANALYSIS/VERIFICATION DEVICE, PROGRAM ANALYSIS/VERIFICATION TOOL MANAGEMENT DEVICE
| 外国特許コード | F130007393 |
|---|---|
| 整理番号 | AF10-02WO |
| 掲載日 | 2013年6月11日 |
| 出願国 | 世界知的所有権機関（ＷＩＰＯ） |
| 国際出願番号 | 2012JP079304 |
| 国際公開番号 | WO 2013/073504 |
| 国際出願日 | 平成24年11月12日(2012.11.12) |
| 国際公開日 | 平成25年5月23日(2013.5.23) |
| 優先権データ |
|
| 発明の名称 （英語） | PROGRAM ANALYSIS/VERIFICATION SERVICE PROVISION SYSTEM, CONTROL METHOD FOR SAME, CONTROL PROGRAM, CONTROL PROGRAM FOR DIRECTING COMPUTER TO FUNCTION, PROGRAM ANALYSIS/VERIFICATION DEVICE, PROGRAM ANALYSIS/VERIFICATION TOOL MANAGEMENT DEVICE |
| 発明の概要（英語） |
This program analysis/verification service provision system (1) is provided with: a tool registration/search unit (313) which extracts a virtual machine (T), in which a program analysis/verification tool which is used for analysis and verification of a program (P) has been introduced and set, from a plurality of program analysis/verification tools (virtual machines) stored in a tool storage unit (320) and a virtual machine execution environment unit (120) which uses the extracted virtual machine (T) to analyze and verify the program (P). |
|
|
|
|
| 国際特許分類(IPC) |
|
| 参考情報 （研究プロジェクト等） | CREST Dependable Operating Systems for Embedded Systems Aiming at Practical Applications AREA |
日本語項目の表示
| 発明の名称 | プログラム解析・検証サービス提供システム、その制御方法、制御プログラム、コンピュータを機能させるための制御プログラム、プログラム解析・検証装置、プログラム解析・検証ツール管理装置 |
|---|
※
ライセンスをご希望の方、特許の内容に興味を持たれた方は、問合せボタンを押してください。
『 PROGRAM ANALYSIS/VERIFICATION SERVICE PROVISION SYSTEM, CONTROL METHOD FOR SAME, CONTROL PROGRAM, CONTROL PROGRAM FOR DIRECTING COMPUTER TO FUNCTION, PROGRAM ANALYSIS/VERIFICATION DEVICE, PROGRAM ANALYSIS/VERIFICATION TOOL MANAGEMENT DEVICE 』に関するお問合せ
- 国立研究開発法人科学技術振興機構（ＪＳＴ） 知的財産マネジメント推進部
- URL: http://www.jst.go.jp/chizai/
-
E-mail:
- Address: 〒102-8666 東京都千代田区四番町5-3
- TEL: 03-5214-8486
- FAX: 03-5214-8417
※ 同じキーワードでJ-STORE内を検索することが出来ます。→ J-STORE内を検索
