文件名称：VeriWeb:众包程序验证
文件大小：16.2MB
文件格式：ZIP
更新时间：2024-07-01 02:31:58
Java
维维网 VeriWeb 是一个基于 Web 的验证 IDE，它将编写可验证的规范的任务分解为可管理的子问题。 VeriWeb 用户编写规范，这些规范使用的验证。 出版物 VeriWeb 接口在 OOPSLA 2012 会议上发表的论文描述。 研究结果可以在上找到。 这些最终将被移动到这个存储库。 笔记 VeriWeb 未在积极开发中。 该存储库包含来自我们本地存储库的 VeriWeb 开发源代码的最新快照。 因此，代码在某些地方可能与出版物中的描述不同。 已知的区别是： Mechanical Turk 在此版本的代码中不起作用。 对象不变推理和处理 运行 VeriWeb 如果您想尝试构建和运行 VeriWeb，请与我联系。 基本指令是： 部署并运行验证服务器 通过部署 VeriWeb 在实践中，服务器需要一个非常具体的目录结构，我还没有开始记录。 转换用于 VeriWeb