Design verification by model checking

Nobukazu Yoshioka, Yoshinori Tanabe, Tahara Yasuyuki, Tetsuo Hasegawa, Yoshinao Isobe

Research output: Contribution to journalArticlepeer-review


As performance of devices become high and growing networks between the devices, parallel and distributed systems providing advanced features become popular. It is hard to verify the behavior of such systems' design with traditional techniques, such as manual reviews and simulations, because of so many possibilities of the behavior. Model Checking is the one of promising techniques to tackle the difficulty. In this paper, we introduce the background of Model Checking techniques and show five popular model checking tools with the case studies and current research topics.

Original languageEnglish
Pages (from-to)40-65
Number of pages26
JournalComputer Software
Issue number4
Publication statusPublished - 2014 Dec 14
Externally publishedYes

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'Design verification by model checking'. Together they form a unique fingerprint.

Cite this