安装tamarin配置环境变量及远程运行

1.通过brew list tamarin-prover查看tamarin安装路径，结果如下：

/home/linuxbrew/.linuxbrew/Cellar/tamarin-prover/1.6.0/bin/sapic
/home/linuxbrew/.linuxbrew/Cellar/tamarin-prover/1.6.0/bin/tamarin-prover

2.通过brew安装vim编辑器

3.通过sudo vim /etc/profile编辑环境变量
在末尾添加如下命令
export PATH="$PATH:/home/linuxbrew/.linuxbrew/Cellar/tamarin-prover/1.6.0/bin"
使用命令：wq保存并退出

然后在终端执行命令source /etc/profile 使得环境变量生效# 注：如果不执行 source 命令，则需重启系统才能生效

4.这时在终端可以直接运行tamarin-prover命令，但是可能会报错如下：
maude没有安装或没有添加到路径

5.类似于第3步，在profile文件中添加maude路径如下

export PATH="$PATH:/home/linuxbrew/.linuxbrew/Cellar/maude/2.7.1_1/bin"
使用命令：wq保存并退出

然后在终端执行命令source /etc/profile 使得环境变量生效# 注：如果不执行 source 命令，则需重启系统才能生效

6.使用tamarin-prover interactive XXX.spthy即可运行

7.在Windows的cmd运行如下命令即可远程访问

ssh -L 3001:localhost:3001 username@hostname