形式化分析工具AVISPA（二）：使用及教程资料

配置必要的设置

1.双向拷贝

参考资料：https://blog.csdn.net/pan_tian/article/details/22619687

参考资料：https://blog.csdn.net/pan_tian/article/details/22619687?utm_medium=distribute.pc_relevant.none-task-blog-BlogCommendFromMachineLearnPai2-1.nonecase&depth_1-utm_source=distribute.pc_relevant.none-task-blog-BlogCommendFromMachineLearnPai2-1.nonecase

如果无法双向复制也没关系。

剪贴板的共享的。

可以在自己主机上进行代码编写。在虚拟机上进行演示。问题不大。

1.相关教程我上传至百度云盘。

比系统自带的要新

背渡网判地址

链接：https://pan.baidu.com/s/1ftqUSKiW4ZFgDI-40ecZoQ

提取码：0ygb

压缩包密码：可以关注我公众号：养两只猫。发送：VISPA教程

2.安装包

可满足常用需求

背渡网判地址

链接：https://pan.baidu.com/s/1jFxOes_bvRGEF_8GaLMwKw

提取码：vdur

压缩包密码：可以关注我公众号：养两只猫。发送：VISPA安装包