組み込みソフトへの数理的アプローチ

形式手法によるソフトウェアの仕様記述と検証　 ＣＯＭＰＵＴＥＲ　ＴＥＣＨＮＯＬＯＧＹ