Efficient Model Checking of Asynchronous Systems Exploiting Temporal Order-Based Reduction Method

  • Yamada, Chikatoshi (Grad. School of Engineering and Science. Univ. of the Ryukyus) ;
  • Nagata, Yasunori (Grad. School of Engineering and Science. Univ. of the Ryukyus) ;
  • Nakao, Zensho (Grad. School of Engineering and Science. Univ. of the Ryukyus)
  • 발행 : 2002.07.01

초록

Recently design verification have been played an important role in the design of large scale and complex systems. In this article, we especially focus on model checking methods. Behaviors of modeled systems are generally specified by temporal formulas of computation tree logic. However. Users must know well temporal specification because the specification might be complex. We proposed method that temporal formulas are gained inductively and amounts of memory and time are reduced. Finally, we will show verification results using our proposed method.

키워드