安装Tamarin
Tamarin-Prover官网 Tamarin Prover
使用Ubuntu-20.04.5-server作为服务器,并且系统中安装了bash、git和curl
安装brew
按照其官方文档进行安装,需要先安装Linuxbrew
/bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"
但无法直接访问raw.githubusercontent.com,需要修改hosts文件
sudo vim /etc/hosts
在host文件中添加
127.0.0.1 localhost
127.0.1.1 ltgds
# The following lines are desirable for IPv6 capable hosts
::1 ip6-localhost ip6-loopback
fe00::0 ip6-localnet
ff00::0 ip6-mcastprefix
ff02::1 ip6-allnodes
ff02::2 ip6-allrouters
185.199.108.133 raw.githubusercontent.com
保存后,在终端输入以下几行命令设置环境变量
export HOMEBREW_INSTALL_FROM_API=1
export HOMEBREW_API_DOMAIN="https://mirrors.tuna.tsinghua.edu.cn/homebrew-bottles/api"
export HOMEBREW_BOTTLE_DOMAIN="https://mirrors.tuna.tsinghua.edu.cn/homebrew-bottles"
export HOMEBREW_BREW_GIT_REMOTE="https://mirrors.tuna.tsinghua.edu.cn/git/homebrew/brew.git"
export HOMEBREW_CORE_GIT_REMOTE="https://mirrors.tuna.tsinghua.edu.cn/git/homebrew/homebrew-core.git"
之后在终端运行命令安装Linuxbrew
# 从本镜像下载安装脚本并安装 Homebrew / Linuxbrew
git clone --depth=1 https://mirrors.tuna.tsinghua.edu.cn/git/homebrew/install.git brew-install
/bin/bash brew-install/install.sh
rm -rf brew-install
# 也可从 GitHub 获取官方安装脚本安装 Homebrew / Linuxbrew
/bin/bash -c "$(curl -fsSL https://github.com/Homebrew/install/raw/master/install.sh)"
然后将brew程序相关路径加入到环境变量中
test -d ~/.linuxbrew && eval "$(~/.linuxbrew/bin/brew shellenv)"
test -d /home/linuxbrew/.linuxbrew && eval "$(/home/linuxbrew/.linuxbrew/bin/brew shellenv)"
test -r ~/.bash_profile && echo "eval \"\$($(brew --prefix)/bin/brew shellenv)\"" >> ~/.bash_profile
test -r ~/.profile && echo "eval \"\$($(brew --prefix)/bin/brew shellenv)\"" >> ~/.profile
test -r ~/.zprofile && echo "eval \"\$($(brew --prefix)/bin/brew shellenv)\"" >> ~/.zprofile
Linuxbrrew安装完成
安装过程参考了homebrew | 镜像站使用帮助 | 清华大学开源软件镜像站 | Tsinghua Open Source Mirror
安装tamarin-prover
使用官网的命令安装
brew install tamarin-prover/tap/tamarin-prover
需要耐心等待一会,安装完后
tamarin第一个例子
下载FirstExample.spthy,并上传到服务器上
在服务器上可以使用命令启动图形化界面
tamarin-prover interactive FirstExample.spthy
在本机上可以使用ssh -L启动
ssh -L 3001:localhost:3001 ltgds@192.168.0.104
可以参考
启动完成后