-
vscode-pvs:LAR-19642-1下载
资源介绍
VSCode-PVS：原型验证系统的集成开发环境
VSCode-PVS是一个新的集成开发环境，用于创建，评估和验证PVS规范。 该环境重新定义了开发人员与PVS交互的方式，并使PVS前端更好地与软件开发人员所使用的开发环境所提供的功能保持一致。
最新版本
文献资料
VSCode-PVS用户界面的
VSCode-PVS的，包括基本问题的故障排除技术。
您是PVS的新手吗？ 试试我们的！
加入的新
要求
Linux或MacOS操作系统
NodeJS（v12.16.1或更高版本）
Visual Studio代码（v1.49.0或更高版本）
安装说明
VSCode-PVS可以从Visual Studio Code Marketplace或GitHub安装。
从Visual Studio Code Marketplace自动安装
在搜索pvs ，然后选择install
从GitHub