TOP > 外国特許検索 > 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

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)
優先権データ
  • 特願2011-249978 (2011.11.15) JP
発明の名称 （英語） 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).
  • 出願人（英語）
  • ※2012年7月以前掲載分については米国以外のすべての指定国
  • JAPAN SCIENCE AND TECHNOLOGY AGENCY
  • 発明者（英語）
  • MAEDA, TOSHIYUKI
国際特許分類(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: e-mail address
  • Address: 〒102-8666 東京都千代田区四番町5-3
  • TEL: 03-5214-8293
  • FAX: 03-5214-8476

お問合せ


※ 同じキーワードでJ-STORE内を検索することが出来ます。→ J-STORE内を検索

PAGE TOP

『 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: e-mail address
  • Address: 〒102-8666 東京都千代田区四番町5-3
  • TEL: 03-5214-8293
  • FAX: 03-5214-8476

お問合せ

印刷用ページ

関連情報

国内特許
公報 WO 2013/073504(PDF,2476KB) PDF
close
close
close
close
close
close