An Application of Formal Method in Microcomputer Simulative Software

• 微机仿真系统中形式化方法的应用