首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > 在罗丹证明义务代SMT-LIB格式

在罗丹证明义务代SMT-LIB格式

  • 资源大小:97.45 kB
  • 上传时间:2021-06-30
  • 下载次数:0次
  • 浏览次数:1次
  • 资源积分:1积分
  • 标      签: xml Translation SMT Solver rodin

资 源 简 介

Takes proof obligations generated in development and models built with the RODIN platform and translates them in SMT-LIB format. The rationale is not to find a universal translation system, but instead try to provide and implement a translation system for different sub-logics so that SMT-LIB provers can be used more effectively and efficiently.

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP