• 博莫德

  • 2篇参考文献[SW10135]
  • 多力量排序的排序-排序的均等的逻辑学. 我们开发了一个隐藏的排序的扩展
  • 减少

  • 730篇参考文献[SW0789]
  • Read是一个通用代数的交互系统。
  • 毫升

  • 491篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • ADA95

  • 128篇参考文献[SW01753]
  • 艾达是结构化的,静态类型的,命令式的,宽的…
  • CASL

  • 167篇参考文献[SW02265]
  • 由COFI开发的规范语言称为…
  • 米兰达

  • 147篇参考文献[SW0988]
  • 米兰达:一个具有多态性的非严格功能语言。
  • Obj3

  • 135篇参考文献[SW05370]
  • Obj3是一个程序规范和证明系统。
  • 莫德

  • 645篇参考文献[SW06263]
  • Maude是一种高性能的反射语言和…
  • 证明

  • 142篇参考文献[ SW07831 ]
  • 证明1.2:在依赖关系中自动终止证明…
  • 乐高

  • 106篇参考文献[SW09685 ]
  • 乐高是一个交互式证明开发系统(证明…
  • CHC 3

  • 11篇参考文献[SW0988]
  • 有条件的Mod一致性检查工具排序