形式化验证工具tamarin的安装&使用

最新推荐文章于 2024-08-20 09:13:32 发布

牛奶可乐配不配

最新推荐文章于 2024-08-20 09:13:32 发布

阅读量2.7k

点赞数 1

分类专栏：形式化验证

本文链接：https://blog.csdn.net/weixin_43116558/article/details/108954642

版权

形式化验证专栏收录该内容

2 篇文章 1 订阅

订阅专栏

安装linuxbrew

在ubuntu终端输入git clone https://github.com/Linuxbrew/brew.git ~/.linuxbrew
再输入git clone https://github.com/Linuxbrew/homebrew-core ~/.linuxbrew/Library/Taps/homebrew
编辑profile文件sudo vim /etc/profile
在该文件末尾添加export PATH="$HOME/.linuxbrew/bin:$PATH" export MANPATH="$HOME/.linuxbrew/share/man:$MANPATH" export INFOPATH="$HOME/.linuxbrew/share/info:$INFOPATH" ``保存后，在终端输入`source /etc/profile` 默认源太慢了，而且有无法安装的情况，所以需要更换成国内的源，我使用的是中科大的源。在终端依次输入（我用的是win10自带ubuntu，发现在窗口标题栏点击右键-编辑，可以选择粘贴和复制）
cd “ $(b r e w - - r e p o) " g i t r e m o t e s e t - u r l o r i g i n h t t p s : / / m i r r o r s . u s t c . e d u . c n / b r e w . g i t c d "$ (brew --repo)/Library/Taps/homebrew/homebrew-core”
git remote set-url origin https://mirrors.ustc.edu.cn/homebrew-core.git
echo ‘export HOMEBREW_BOTTLE_DO
MAIN=https://mirrors.ustc.edu.cn/homebrew-bottles’ >> ~/.bash_profile
source ~/.bash_profile

# 安装tamari
[tamarin官网](https://tamarin-prover.github.io/manual/book/002_installation.html)介绍了如何安装和使用1. 根据官网提示，在终端输入`brew install tamarin-prover/tap/tamarin-prover`报错：SHA256 mismatch，并且重新尝试安装需要删除*--jdk14u-jdk-14.0.1-ga.tar.bz2。
输入`rm -f /.cache/Homebrew/downloads/文件名` 删除文件
 查找资料发现需要找到原来的sha256进行替换，输入`brew edit openjdk`，报错，x-ruby……好像只能在mac上使用？？？明日再。
![在这里插入图片描述](https://img-blog.csdnimg.cn/20201008190049905.png#pic_center)
2. 第二种方法是下载源代码，自己安装依赖库。按照官网提示输入`brew install tamarin-prover/tap/maude graphviz haskell-stack` 安装依赖库，出现错误
![在这里插入图片描述](https://img-blog.csdnimg.cn/20201010160125655.png#pic_center)
输入`brew install gcc`依然报错，所以又用`sudo apt install gcc`安装了gcc，再次安装依赖库，又报错
![在这里插入图片描述](https://img-blog.csdnimg.cn/20201010160845350.png#pic_center)