Formal Verification of CPU in Laboratory Work. - Kozo Okano; Yuko Kitahama; Akira Kitajima; Teruo Higashino; Kenichi Taniguchi (MSE, 2001)