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