TOP > 外国特許検索 > Program analysis/verification service providing system, method for controlling system, control program, control program for causing computer to operate, program analysis/verification device and program analysis/verification tool management device

Program analysis/verification service providing system, method for controlling system, control program, control program for causing computer to operate, program analysis/verification device and program analysis/verification tool management device

外国特許コード F130007704
整理番号 AF10-02TW
掲載日 2013年11月25日
出願国 台湾
出願番号 101142173
公報番号 201331779
公報番号 I524206
出願日 平成24年11月13日(2012.11.13)
公報発行日 平成25年8月1日(2013.8.1)
公報発行日 平成28年3月1日(2016.3.1)
優先権データ
  • 特願2011-249978 (2011.11.15) JP
発明の名称 (英語) Program analysis/verification service providing system, method for controlling system, control program, control program for causing computer to operate, program analysis/verification device and 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).
  • 出願人(英語)
  • 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