Presentation 2009-04-21
A Development Process with A Model Checking Criterion
Michitaka INUI, Nobukazu YOSHIOKA,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English) We have proposed a process for solving problems that we have to apply the model checking in a company. Also we have proposed a criterion that engineers without model checking knowledge can find out targets expected cost-effectiveness after applying the model checking, and evaluate it.
Keyword(in Japanese) (See Japanese page)
Keyword(in English) Model Checking / Process / Criterion
Paper # CPSY2009-2,DC2009-2
Date of Issue

Conference Information
Committee DC
Conference Date 2009/4/14(1days)
Place (in Japanese) (See Japanese page)
Place (in English)
Topics (in Japanese) (See Japanese page)
Topics (in English)
Vice Chair

Paper Information
Registration To Dependable Computing (DC)
Language JPN
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) A Development Process with A Model Checking Criterion
Sub Title (in English)
Keyword(1) Model Checking
Keyword(2) Process
Keyword(3) Criterion
1st Author's Name Michitaka INUI
1st Author's Affiliation Network Software Engineering Section-E, Engineering Department-A, Division-B Mitsubishi Electric Micro-Computer Application Software Co.()
2nd Author's Name Nobukazu YOSHIOKA
2nd Author's Affiliation GRACE Center, National Institute of Informatics
Date 2009-04-21
Paper # CPSY2009-2,DC2009-2
Volume (vol) vol.109
Number (no) 12
Page pp.pp.-
#Pages 6
Date of Issue