Art

J-GLOBAL ID：201102267552948099   Reference number：11A0527625

Visualization Method of Concurrent Systems for Validation in Model Checking

モデル検査における妥当性確認を目的とした並行システムの表現手法

Author (4)： TAKEUCHI RYOTARO (愛知県立大学大学院情報科学研究科) ,  KASUYA HIDETO (愛知県立大学情報科学部) ,  OKUBO HIROTAKA (愛知県立大学情報科学部) ,  YAMAMOTO SHIN'ICHIRO (愛知県立大学情報科学部)
Material： コンピュータソフトウェア  (Computer Software)
Volume： 28  Issue： 1  Page： 1.293-1.299 (J-STAGE)  Publication year： 2011 
JST Material Number： Y0628A  ISSN： 0289-6540  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： property ,  model checking ,  parallel processing ,  evaluation test ,  *visualization
Semi thesaurus term： *visualization method ,  acceptability

JST classification (2)： Other computer utilization technology  (JE14000C) ,  Computer system development  (JD02010R)

Terms in the title (5)： モデル検査 ,  妥当性確認 ,  並行 ,  表現 ,  手法