• PVS

  • 600篇参考文献[SW0384]
  • PVS是一个验证系统:即一个集成了支持工具的规范语言…用于重要的应用。PVS是一个研究原型:它进化和改进…
  • 美国宇航局PVS

  • 10篇参考文献[ SW28 64 8]
  • 美国宇航PVS图书馆是正式发展的集合。PVS由美国宇航局维护…方法团队是其中的一部分PVS美国宇航局兰利赞助的研究。电流…
  • TLPVS

  • 10篇参考文献[SW10024]
  • TLPVS:APVS基于LTL的验证系统。在本文中,我们提出了我们的PVS实施。。。
  • 驯服

  • 5篇参考文献[SW28 703]
  • 驯服:使用PVS专用定理证明的策略时间自动机建模环境…定理证明系统的接口PVS是为了证明三类的性能而设计的…辅助理论和一套专门的PVS依靠这些理论的策略…理解而不执行它们PVS证明检查器几个新PVS功能特色
  • VSDITLU

  • 9篇参考文献[ SW0825]
  • 关于定理证明器中的RealsPVS帮助变革…
  • 萨尔

  • 8篇参考文献[SW13318]
  • 包括许多吸引人的特征PVS. SAL工具箱提供了几种工具…
  • 里拉

  • 7篇参考文献[SW21270]
  • 一阶逻辑。交互式定理证明器PVS也利用这样的决策程序…
  • PVSiO

  • 3篇参考文献[SW12428 ]
  • PVSiO是PVS用预定义的库扩展地面计算器的包…语义连接。PVSio是其中的一员PVS自从PVS5。当前版本…PVSiO为6并包含在PVS6。PVSiO 6提供:标准库…将地面评估器安全地集成到PVS定理证明器这些证明规则…
  • PVSio网

  • 2篇参考文献[SW11949 ]
  • 快速原型设备用户界面PVS. 我们提出了PVSIO Web,扩展了仿真。组成部分PVS具有快速原型设备用户界面功能的证明系统…使用形式化方法的专家PVS. 设计师加载布局的图片…布局,并将它们链接到PVS规格然后,他们可以探索行为…
  • 萨普姆

  • 2篇参考文献[SW28 617]
  • 使用证明助手的ELAN硬件规范PVS. 重写和重写逻辑已被使用…证明助手的翻译PVS自动生成临界配对校正准则…
  • 奥西德

  • 2篇参考文献[ SW28 725 ]
  • OCSID的结构嵌入PVS. 我们描述了一个结构嵌入的OCSID规范…语言进入逻辑PVS定理证明器使用前端工具…
  • 小型黄铜

  • 1篇参考文献[SW31298]
  • 部分序赋值结构的代数框架PVS这是作为一个扩展来实现的…微型搜索。我们首先证明了充分性。PVS自然增加部分订单…任意半环PVS. 这两个论点借鉴了范畴理论的元素。迷你黄铜转弯…实践:它提供了一个通用的可扩展性。PVS类型系统,可重用的特定软件实现。
  • 曼尼普

  • 2篇参考文献[SW12425]
  • 交互证明器的操作,如PVS可以是劳动密集型的。我们提供…
  • 炸药2

  • 1篇参考文献[SW01320]
  • 定理证明者提供的确定性PVS. 在证明过程中使用合金分析仪…改善了PVS定理证明经验通过减少沿创意引入的错误数…
  • 时钟同步

  • 1篇参考文献[ SW28 680 ]
  • 利用定理证明器EHDM(前体)PVS我们的形式化伊莎贝尔/霍尔是基于…
  • 埃克斯特拉托

  • 1篇参考文献[SW32250]
  • 各种证明助理:Coq,霍尔,瘦,马蒂塔,PVS. 我们实现了一个工具,提取TPTP…