CMurphi或Murphi入门——安装配置基于ubuntu下

最新推荐文章于 2018-03-28 21:27:52 发布
最新推荐文章于 2018-03-28 21:27:52 发布
阅读量1k 收藏 2
点赞数 1
CC 4.0 BY-SA版权
分类专栏： linux
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.youkuaiyun.com/dongyanwen6036/article/details/78523348
本文档详细介绍了如何在Ubuntu操作系统中安装和配置CMurphi或Murphi，包括从下载到验证的完整步骤。首先，下载资源并在src目录下执行make命令。接着，使用Murphi编译器将Murphi语言程序编译为C++代码，并通过C++编译器进一步编译。最后，运行生成的.out文件以运行模拟或验证过程。


本机环境:

  Kali linux（环境不影响安装步骤严重打脸偷笑失败了）
（ubuntu linux生气成功演示pingpong.m）

安装步骤


  • 在src下make
    • "make" or "make mu"  
    • #      --> compile mu





--------------------------------------------------------------------------------------------------------------------------------------------------------

之前的操作都是在kali下，现在开始基于ubuntu下。

先来linux操作系统下VMtools的安装方便导文件


解压完之后右击有在终端打开，省得输路径

最低0.47元/天 解锁文章

200万优质内容无限畅学
Murphi的入门及安装
Belle_Chou的博客
04-15 1143
CMurphi需要自行编译可执行版本。编译环境要求：  Linux系统  g++  LEX词法分析器生成器，一般使用flex  YACC语法分析器生成器，一般使用byacc  GNU make 如上准备就绪后，进入CMurphi的src目录，运行命令  make或者make mu，生成可执行文件  make clean，清理编译过程中产生的中
CMurphi入门笔记（六）——规则，起始状态和不变式
dianchoucong6518的博客
07-31 168
原文地址：http://www.cnblogs.com/Rainday/p/cmurphi_prime_6.html 规则，状态和不变式的语法如下所示： <rules> ::= <rule> {; <rule> } [;] <rule> ::= <simplerule> ...
Murphi
daguocai的专栏
02-25 1942
一.Murphi Murphi工具最早由Stanford大学教授David Dill的团队开发，是一个精确状态的模型检测工具，其输入语言使用guare->action的标准术语，与Unity相似，在无限循环中重复执行。 现在该工具已经不再由stanford大学维护（http://verify.stanford.edu/dill/murphi.html页面已经很久不更新，且软件也不可下），而
CMurphi入门笔记（二）——基本概念
dianchoucong6518的博客
07-29 240
原文地址：http://www.cnblogs.com/Rainday/p/cmurphi_prime_2.html 1. BNF 本系列使用BNF来说明Murphi的语法： <> 代表非终结点 [] 代表可选部分 {} 代表重复零次或者多次 a|b 代表a或者b其一 () 代表组 当这些符号的任何一个在Murphi语言中需要用到的...
CMurphi入门笔记（一）——概览
dianchoucong6518的博客
07-28 337
原文地址：http://www.cnblogs.com/Rainday/p/cmurphi_prime_1.html 本来以为自己会是一个搞技术的人的，没想到现在彻底变成一个搞科研的人了。搞的东西，现在自己也不是很懂。摸着石头过河吧。 Murphi验证系统由Murphi编译器和Murphi描述性语言组成。 Murphi编...
Murphi工具调研报告和使用规范1
08-08
CMurphi由Murphi编译器和Murphi描述性语言组成，运行在Linux系统之上，提供了一种高级的、支持用户定义数据类型、过程和参数化的语言，便于描述复杂的系统行为。 CMurphi的工作流程分为四个主要步骤。首先，使用...
基于带参系统Murphi模型的SMV自动建模_段凯强1
08-03
【基于带参系统Murphi模型的SMV自动建模】主要涉及的是在计算机科学领域中的形式验证技术，尤其是针对带参数的系统进行模型构建和分析的过程。形式验证是一种确保软件或硬件系统正确性的数学方法，它通过建立精确的...
murphi个人学习笔记
最新发布
10-19
murphi个人学习笔记
murphi:Murphi语言对VS代码的支持
03-06
这是Murphi语言对VS代码的支持。 特征 语法高亮 片段 发行说明 新的功能 类型的语法突出显示。 通过将类型标识符显式指定为typename_t来触发。 函数调用的语法突出显示。 2.0.0 添加代码段支持。 1.1.0 添加更多...
CMurphi入门笔记（三）——定义
dianchoucong6518的博客
07-30 168
原文地址：http://www.cnblogs.com/Rainday/p/cmurphi_prime_3.html 1. 常量，类型和变量的定义 定义具有如下的语法： <decl> ::= const { <constdecl> ; } | type { <typedecl> ; } ...
cmurphi5.4
11-13
cmurphi5.4 （last release : Jan 07, 2010. This release works with 64 as well as 32 bits architectures.)
kali sudo apt install 无法定位软件包
热门推荐
Gunther的博客
08-22 2万+
      在etc/apt   的sources.list 添加镜像源   debhttp://http.kali.org/kali kali-rolling main non-free contrib 或deb http://mirrors.ustc.edu.cn/kali kali-rolling main non-free contrib然后 sudo apt-get update/sud...
linux 常用命令和进入计算机目录下
Gunther的博客
08-22 1万+
常用指令 ls　　         显示文件或目录 -l                 列出文件详细信息l(list) -a                 列出当前目录下所有文件及目录，包括隐藏的a(all) mkdir                创建目录 -p                   创建目录，若无父目录，则创建p(paren
Linux下的图片编辑软件和画图软件
Gunther的博客
08-23 1万+
Pinta是一款和windows下的画图相类似打一款画图软件，并且它还包含了一些基本的图像编辑工具。 比如：标尺、图层、操作历史记录、图像调整、渲染效果等等，可以满足对图像处理要求不太高的用户的基本需求 下安KaLi装命令： sudo apt-get install pinta choose Y 装完不知道在哪，这就尴尬了，找找。 找一张图片鼠标右键打开不就找到了。真好用到，哈哈。
linux配置网关提示route: SIOCADDRT: Network is unreachable
Gunther的博客
08-23 1万+
问题描述： @kaliroot@kali:~# route add default gw 172.23.0.1 eth0 SIOCADDRT: Network is unreachable 解决： 确认所配置的网关是否可以ping通。 网络不可达。配置失败。
linux kali 下安装 微 信
Gunther的博客
08-24 1万+
https://github.com/geeeeeeeeek/electronic-wechat 1.1 # Clone this repository//下载文件 git clone https://github.com/geeeeeeeeek/electronic-wechat.git # Go into the repository//终端进入该文件下 cd electronic-w
kali 下安装npm------------bash:not found npm
Gunther的博客
08-24 9128
https://nodejs.org/dist/latest-v4.x/ 安装node npm 首先去网上下载代码，这里一定要注意安装分两种，一种是Source Code源码(bothering)，一种是编译后的文件。我就是按照网上源码的安装方式去操作编译后的文件，结果坑了好久好久。 1.  注意看好你下载的是什么文件！！！对应的安装方式不同啊，亲。 1.1简
linux下fatal err :Eigen/Dense: No such file or directory
Gunther的博客
03-28 8694
因为你的eigen3安装在/usr/local/include下面 创建符号链接来解决它。将eigen3安装在/ usr / local / include中，执行以下操作：cd /usr/local/include sudo ln -sf eigen3/Eigen Eigen sudo ln -sf eigen3/unsupported unsupported 然后再提示fatal
linux kali下怎么用有线联网
Gunther的博客
08-23 8365
1、 rp-pppoe软件的安装(客户端) 　　 wget https://www.roaringpenguin.com/files/download/rp-pppoe-3.12.tar.gz 下载 　　（1） 解压rp-pppoe  #tar -xzf rp-pppoe-3.12.tar.gz        （2） cd/rp-pppoe-3.12/src        （3
Cmurphi5.4版本发布，支持64位及32位架构
版本号通常用来标识软件的修改、升级或功能增强，其中5代表主要版本号，而4则表示是该主版本下的次级版本更新，可能包括修复了上一版本的错误、增加了新的特性或改进了现有功能。 #### 3. 发布日期的含义： - 2010...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值