On Constructing a Tool to Verify Programs for Processors Built in Machines. - Tomoya Ohta; Norihiro Matsumara; Yukihiro Itoh (CSMR, 1998)