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

最新推荐文章于 2018-03-28 21:27:52 发布
最新推荐文章于 2018-03-28 21:27:52 发布
阅读量941 收藏 2
点赞数 1
分类专栏： linux
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/dongyanwen6036/article/details/78523348
版权


本机环境:

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

安装步骤


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





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

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

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


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


注意：
最低0.47元/天 解锁文章
Gunther17
关注
  • 1
    点赞
  • 踩
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
Murphi的入门及安装
Belle_Chou的博客
04-15 998
CMurphi需要自行编译可执行版本。编译环境要求：  Linux系统  g++  LEX词法分析器生成器，一般使用flex  YACC语法分析器生成器，一般使用byacc  GNU make 如上准备就绪后，进入CMurphi的src目录，运行命令  make或者make mu，生成可执行文件  make clean，清理编译过程中产生的中
murphi:Murphi语言对VS代码的支持
03-06
墨菲 这是Murphi语言对VS代码的支持。 特征 语法高亮 片段 发行说明 新的功能 类型的语法突出显示。 通过将类型标识符显式指定为typename_t来触发。 函数调用的语法突出显示。 2.0.0 添加代码段支持。 1.1.0 添加更多突出显示功能。 1.0.0 Murphi的初始版本。
CMurphi入门笔记（六）——规则，起始状态和不变式
dianchoucong6518的博客
07-31 117
原文地址：http://www.cnblogs.com/Rainday/p/cmurphi_prime_6.html 规则，状态和不变式的语法如下所示： <rules> ::= <rule> {; <rule> } [;] <rule> ::= <simplerule> ...
Murphi
daguocai的专栏
02-25 1711
一.Murphi Murphi工具最早由Stanford大学教授David Dill的团队开发，是一个精确状态的模型检测工具，其输入语言使用guare->action的标准术语，与Unity相似，在无限循环中重复执行。 现在该工具已经不再由stanford大学维护（http://verify.stanford.edu/dill/murphi.html页面已经很久不更新，且软件也不可下），而
CMurphi入门笔记（二）——基本概念
dianchoucong6518的博客
07-29 166
原文地址：http://www.cnblogs.com/Rainday/p/cmurphi_prime_2.html 1. BNF 本系列使用BNF来说明Murphi的语法： <> 代表非终结点 [] 代表可选部分 {} 代表重复零次或者多次 a|b 代表a或者b其一 () 代表组 当这些符号的任何一个在Murphi语言中需要用到的...
CMurphi入门笔记（一）——概览
dianchoucong6518的博客
07-28 251
原文地址：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自动建模】主要涉及的是在计算机科学领域中的形式验证技术，尤其是针对带参数的系统进行模型构建和分析的过程。形式验证是一种确保软件或硬件系统正确性的数学方法，它通过建立精确的...
AnB2Murphi
03-10
AnB2MurphiAnB2Murphi是一款自动翻译器AnB2Murphi，可在高级Alice＆Bob规范与低级Murphi模型检查器之间架起桥梁，从而有助于验证A＆B规范中所述的安全协议。 论文理论文件： AnB2Murphi：一种将Alice＆Bob规范转换为...
cmurphi5.4
11-13
cmurphi5.4 （last release : Jan 07, 2010. This release works with 64 as well as 32 bits architectures.)
网络安全认证协议形式化分析.ppt
12-16
相关工作的研究主要分为几类：基于信念逻辑（如BAN逻辑）的方法、π演算为基础的模型、状态机模型（如模型检查）以及基于定理证明器的方法。模型检查有自动化的优点，当违反安全性时，它能提供反例。例如，FDR、...
CMurphi入门笔记（三）——定义
dianchoucong6518的博客
07-30 106
原文地址：http://www.cnblogs.com/Rainday/p/cmurphi_prime_3.html 1. 常量，类型和变量的定义 定义具有如下的语法： <decl> ::= const { <constdecl> ; } | type { <typedecl> ; } ...
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 8881
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 8594
因为你的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
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值