Art

J-GLOBAL ID：200902211960903881   Reference number：04A0484272

Modular Verification of Software Components in C

Cで書かれたソフトウェアコンポーネントのモジュール的検証

Author (5)： CHAKI S (Carnegie Mellon Univ., PA) ,  CLARKE E M (Carnegie Mellon Univ., PA) ,  GROCE A (Carnegie Mellon Univ., PA) ,  JHA S (Univ. Wisconsin, WI) ,  VEITH H (Technische Univ. Muenchen, Garching, DEU)
Material： IEEE Transactions on Software Engineering  (IEEE Trans Softw Eng)
Volume： 30  Issue： 6  Page： 388-402  Publication year： Jun. 2004 
JST Material Number： D0480D  ISSN： 0098-5589  CODEN： IESEDJ  Document type： Article
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)

Thesaurus term： *program verification ,...
Semi thesaurus term： software component

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=04A0484272&from=J-GLOBAL&jstjournalNo=D0480D") }}

JST classification (2)： Computer system development  (JD02010R) ,  Automaton theory  (JB04000O)

Terms in the title (3)： ソフトウェアコンポーネント ,  モジュール ,  検証