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

【文件属性】：
文件名称：Murphi工具调研报告和使用规范1
文件大小：39KB
文件格式：DOCX
更新时间：2022-08-08 19:17:03
软件/插件 使用指南验证系统的步骤编写Murphi语言程序，命名如pingpong.m，注意一定要以.m结尾运行命令$(murphipath)/mu pingpong.m会