首页
学习
活动
专区
圈层
工具
发布

形式化分析工具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安装包

下一篇
举报
领券