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日
出願国 世界知的所有権機関(WIPO)
国際出願番号 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
ライセンスをご希望の方、特許の内容に興味を持たれた方は、問合せボタンを押してください。

PAGE TOP

close
close
close
close
close
close