Art

J-GLOBAL ID：201002269003118012   Reference number：10A0035131

Software Model Checking

ソフトウェアのモデル検査

Author (2)： JHALA Ranjit (Univ. California, San Diego) ,  MAJUMDAR Rupak (Univ. California, Los Angeles)
Material： ACM Computing Surveys  (Survey and Tutorial Journal of the ACM (Association for Computing Machinery))
Volume： 41  Issue： 4  Page： 21.1-21.54  Publication year： Oct. 2009 
JST Material Number： E0003B  ISSN： 0360-0300  Document type： Article
Article type： 文献レビュー  Country of issue： United States (USA)  Language： ENGLISH (EN)

Thesaurus term： *model checking ,  software engineering ,  computer algorithm ,  computer program ,  program execution ,  software specification ,  nondeterminism ,  program correctness ,  space ,  dimensional reduction ,  abstraction ,  Automation ,  symbol processing ,  program test ,  specification description ,  support program ,  literature review ,  accuracy ,  type system ,  analysis accuracy ,  modification
Semi thesaurus term： state space

JST classification (1)： Computer system development  (JD02010R)

Terms in the title (2)： ソフトウェア ,  モデル検査