文件名称:
TypeSoundnessCertifier：免费的认证类型声音！-源码
开发工具:
文件大小: 3mb
下载次数: 0
上传时间: 2021-02-10
详细说明：类型SoundnessCertifier
作者：Matteo Cimini（ ） 使用包含2.0.2到2.0.5的Abella版本测试的工具。
快速链接
消息：临时停止：几天后，该项目将停止工作，因为几天后我将上传更多文件。 TypeSoundnessCertifier包含两个组件：
Lang-n-Check：输入语言定义，并对其进行类型检查以查看其是否为声音。
Lang-n-Prove：输入已由Lang-n-Check进行类型检查的语言定义，并在Abella证明助手中生成机器检查的类型健全性证明。
更新（2017年12月）：
截至2017年7月（2018年POPL提交）， Typ
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
