Murphi工具调研报告和使用规范1

【文件属性】：

文件名称：Murphi工具调研报告和使用规范1

文件大小：39KB

文件格式：DOCX

更新时间：2022-08-08 19:17:03

软件/插件

使用指南验证系统的步骤编写Murphi语言程序，命名如pingpong.m，注意一定要以.m结尾运行命令$(murphipath)/mu pingpong.m会