形式化验证
文章平均质量分 78
牛奶可乐配不配
这个作者很懒,什么都没留下…
展开
-
形式化验证工具tamarin的安装&使用
安装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原创 2021-07-27 11:46:42 · 2633 阅读 · 0 评论 -
模型检测工具SPIN在windows10系统上的安装&使用
spin的官方说明文档安装下载spin下载spin的github网址上的spin*.gz,解压到某目录,重命名为spin.exe。将目录添加到path环境变量中。下载cygwinCygwin是一个在windows平台上运行的类UNIX模拟环境。spin需要一个c语言编译器才能运行,我选择安装gcc,可以从cygwin上安装,以后还可以用它来学习linux的使用。从cygwin官方网站下载setup*.exe,双击运行。在这里选择...原创 2020-10-07 13:10:03 · 3591 阅读 · 11 评论