形式化验证工具Process Analysis Toolkit(PAT)安装

直接附上安装包百度云链接直接先安装.NET安装包然后直接安装PAT软件即可

链接:https://pan.baidu.com/s/1L7AsNodFer7tc1Qk-sDk0g 
提取码:dcj3 

另附官网网址https://pat.comp.nus.edu.sg/

你可能感兴趣的:(工具)