VeriWeb:众包程序验证-源码
维维网
VeriWeb 是一个基于 Web 的验证 IDE，它将编写可验证的规范的任务分解为可管理的子问题。
VeriWeb 用户编写规范，这些规范使用的验证。
出版物
VeriWeb 接口在 OOPSLA 2012 会议上发表的论文描述。
研究结果可以在上找到。 这些最终将被移动到这个存储库。
笔记
VeriWeb 未在积极开发中。 该存储库包含来自我们本地存储库的 VeriWeb 开发源代码的最新快照。 因此，代码在某些地方可能与出版物中的描述不同。 已知的区别是：
Mechanical Turk 在此版本的代码中不起作用。
对象不变推理和处理
运行 VeriWeb
如果您想尝试构建和运行 VeriWeb，请与我联系。 基本指令是：
部署并运行验证服务器
通过部署 VeriWeb
在实践中，服务器需要一个非常具体的目录结构，我还没有开始记录。
转换用于 VeriWeb
文件下载
资源详情
[{"title":"（ 1148 个子文件 16.2MB ） VeriWeb:众包程序验证-源码","children":[{"title":".gitignore <span style='color:#111;'> 11B </span>","children":null,"spread":false},{"title":"FixedSizeSetCheck.java <span style='color:#111;'> 2.01KB </span>","children":null,"spread":false},{"title":"FixedSizeSet.java <span style='color:#111;'> 1.73KB </span>","children":null,"spread":false},{"title":"FixedSizeSet.inf.asa <span style='color:#111;'> 8.94KB </span>","children":null,"spread":false},{"title":"FixedSizeSet.def <span style='color:#111;'> 16.81KB </span>","children":null,"spread":false},{"title":"......","children":null,"spread":false},{"title":"<span style='color:steelblue;'>文件过多，未全部展示</span>","children":null,"spread":false}],"spread":true}]
评论信息
其他资源
- 面向计算机科学的数理逻辑课后答案
- 瑞芯微固件解包打包工具V11.1试用版
- AT89C51数字时钟
- 时域随机子空间模态识别matlab编程
- coverity手册
- Android开发的贪吃蛇（专门用于课程设计）
- 基于matlab的直流电动机机械特性仿真
- MBIM基本原理
- 用matlab实现均值滤波去除高斯白噪声.
- unity3d自定义路径—曲线编辑器
- X-CT图像重建的计算机仿真程序开发
- 边缘检测的7种C代码
- 中英平行语料库（八万对，句粒度）
- pak文件查看器
- 十层电梯设计.doc
- intlab 5.5
- linux下自动运行weblogic工程脚本
- 污水处理BIOWIN
- 西门子二代精简或精智屏如何与S7-1200和S7-1500同步时间？.txt
- TCP通讯协议
- MG323模块PCB封装
- CC2530-HMC5883L通过I2C通信
- 通信原理课程设计 扩频通信
- robocup新手上路
- poco-1.8.0.1
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明