Murphi的入门及安装

原创 2018年04月15日 15:49:39

CMurphi需要自行编译可执行版本。编译环境要求:
 Linux系统
 g++
 LEX词法分析器生成器,一般使用flex
 YACC语法分析器生成器,一般使用byacc
 GNU make
如上准备就绪后,进入CMurphi的src目录,运行命令
 make或者make mu,生成可执行文件
 make clean,清理编译过程中产生的中间文件
 make cleanall,清理所有中间文件,包括LEX和YACC所生成的文件
编译成功后,该目录即可出现可执行文件mu,可根据需要将CMurphi的安装目录添加到环境变量中。


注意:最后的这个cleanall要在所有验证完成之后再执行,因为会将生成的可执行文件mu.o给你删掉。 可以用 ls-l 来看各个文件的权限 用chmod +x mu 来给mu变成可执行文件(绿色)


例子
在cmurphi5.4.9的ex文件夹下有很多个示例,我用toy/pingpong.m进行了测试。

  • 首先编译murphi代码
    ../../src/mu pingpong.m

Code generated in file pingpong.cpp

  • 对上述生成的.cpp文件进行编译
    g++ pingpong.cpp -I ../../include
    即可生成可执行文件a.out

  • 运行可执行文件
    ./a.out
    结果中的Status为No error found表示验证成功。

Murphi

一.Murphi Murphi工具最早由Stanford大学教授David Dill的团队开发,是一个精确状态的模型检测工具,其输入语言使用guare->action的标准术语,与Unity相似...
  • daguocai
  • daguocai
  • 2015-02-25 09:46:40
  • 816

python安装及入门学习

python安装及入门学习 python安装:http://www.jianshu.com/p/b8a703df5318 然后再安装一个pycharm就能在这个集成开发环境中写python代码了:ht...
  • yaoyaoyao2
  • yaoyaoyao2
  • 2017-04-15 15:15:18
  • 461

《Python编程:从入门到实践》中外星人项目pygame安装(Ubuntu)

pygame项目几年没有更新,导致按书中步骤安装的时候会出现问题,结合网上资料,总结一下在Ubuntu平台上成功安装的实施步骤: 1. 安装依赖包 sudo apt-get install py...
  • u013054565
  • u013054565
  • 2017-12-23 15:53:51
  • 211

Memcache安装与入门

Memcache安装;通过Telnet对Memcache数据进行增删改查;Memcache在php中的配置;通过php对Memcache数据进行增删改查等...
  • hsd2012
  • hsd2012
  • 2016-05-01 11:40:17
  • 8662

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

本机环境: Kali linux(环境不影响安装步骤) 安装步骤 下载 地址1(推荐)地址2()上传资源分享 在src下make 1) "make" or "make ...
  • dongyanwen6036
  • dongyanwen6036
  • 2017-11-14 12:46:56
  • 131

arcgis server 9.3初步

  • 2009年02月09日 12:39
  • 36KB
  • 下载

机器人操作系统ROS Indigo 入门学习(1)——安装ROS Indigo

Ubuntu14.04安装ROS Indigo   一、安装ROS 1.1配置Ubuntu的软件中心 配置Ubuntu要求允许接受"restricted," "universe," and "mult...
  • Bobsweetie
  • Bobsweetie
  • 2015-02-08 17:23:39
  • 9265

[Linux][入门系列]CentOS 的基础安装

本博文主要叙述了如何安装一个基础的CentOS系统,整个过程系统配置相对简单,适合没有接触过Linux的新同学。...
  • tlytg
  • tlytg
  • 2017-02-17 12:28:22
  • 398

Youtube上下载的Caffe安装视频教程

Install Caffe Deep Learning Framework on Jetson LT4 21.2 with CUDA 6.5. Like and Subscribe if you wa...
  • jnulzl
  • jnulzl
  • 2016-05-23 21:16:50
  • 2414

LSTM入门

之前一直在搞CNN,现在开始学习RNN,先上手一篇LSTM的入门吧 原文: Understanding LSTM Networks 中文译文地址: 理解长短期记忆网络摘要:作者早前提到了人们使用R...
  • Gavin__Zhou
  • Gavin__Zhou
  • 2017-03-31 15:12:24
  • 882
收藏助手
不良信息举报
您举报文章:Murphi的入门及安装
举报原因:
原因补充:

(最多只允许输入30个字)