Murhpi安装与配置

Murphi简介

Murphi工具最初是由Stanford 的 David 教授小组开发的,它是一个枚举模型检查器,具有自己的输入语言,它类似于Unity的保护->动作符号,它们在无限循环中重复执行。

Murphi有一个基于显式状态枚举的验证器,这个验证器可以作为状态空间的深度优先或者广度优先搜索来执行,在搜索过程中遇到的状态都保存在Hash表中。

Murphi现在仍然在广泛使用,尤其是微处理器行业(Microprocessor industry ),还有验证缓存一致性协议( verify cache coherence protocols.)

本机环境

Alibaba Cloud ECS Ubuntu14.04

安装步骤

  • clone 到本地

    git clone https://github.com/melver/cmurphi.git
  • 切换到src目录

    cd cmurphi/src
  • 执行make操作

    make

可能安装过程中有warning 提示,影响不大。


这个世界就是这样,一定有人在坚持,只是那些放弃的人,不会被那些支撑坚持的力量所打动,总是对大呼前进的人不屑一顾。

文章名: 《Murhpi安装与配置》
文章链接:http://hrhr7.cn/index.php/archives/12/
联系方式:tensor7@163.com
除特别注明外,文章均为Cupidr原创,转载时请注明本文出处及文章链接
Last modification:July 21st, 2019 at 03:54 pm
如果觉得我的文章对你有用,请随意赞赏

Leave a Comment