Art
J-GLOBAL ID：200902231331791966   Reference number：07A0462286

形式手法によるC言語検証ツール「VARVEL」

Author (3)：
HASHIMOTO YUSUKE

About HASHIMOTO YUSUKE

(NEC)

About NEC

, 
TOKUOKA HIROKI

About TOKUOKA HIROKI

(NEC)

About NEC

, 
MIYAZAKI YOSHIAKI

About MIYAZAKI YOSHIAKI

(NEC)

About NEC


Material：
NEC技報  (NEC Technical Journal)

About NEC技報


Volume： 60  Issue： 2  Page： 47-49  Publication year： Apr. 25, 2007 
JST Material Number： G0475B  ISSN： 0285-4139  Document type： Article
Article type： 解説  Country of issue： Japan (JPN)  Language： JAPANESE (JA)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
*C language

About C language

,...
Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
assistant tool

About assistant tool


   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=07A0462286&from=J-GLOBAL&jstjournalNo=G0475B") }}
JST classification (1)：
JST classification
Category name(code) classified by JST.
General-purpose programming language 
(JD03051H)

About General-purpose programming language

Reference (2)：
  • 日経エレクトロニクス、2005.12.19、pp. 87~121.
  • F. Ivancic et al: Model checking C programs using F-Soft. Invited paper in the Proceedings of the IEEE International Conference on Computer Design (ICCD), October 2005.
Terms in the title (4)：
Terms in the title
Keywords automatically extracted from the title.
形式手法

About 形式手法

, 
C言語

About C言語

, 
検証

About 検証

, 
ツール

About ツール


Return to Previous Page

TOP

BOTTOM