検証モデリングの比較検討: 組込みシステムの事例

摘要

用いる形式手法の特徴に応じたモデリングが大切である。3つの形式手法を共通例題に適用した事例をもとにモデリングを含めて形式手法の比較検討を行う。%Modeling is inevitable in using any formal methods. This paper discusses how modeling itself is affected by characteristics of the formal methods used. The discussion is based on the experience in applying three different methods to a common case.