• CSP2B

  • 21篇参考文献[SW07703]
  • 机器-可读的B规格,这意味着它们可以是动画和适当的。证明义务…
  • 雅加达

  • 18篇参考文献[SW01269]
  • 前端生产高度可读的可执行的规范;雅加达转换工具包(JTK),一个程序…编译JSL规范的编译器证明助理,雅加达自动化工具包(JAK),一个工具集…支持关于可执行规范的推理证明助手。这项工作的目的是为了获得…从JavaCARD虚拟机的规范机器. 该工具采用JavaCARD虚拟机。机器
  • MIZARMODE

  • 16篇参考文献[SW01973]
  • 证明代码“在更长的时间内更多可读的可维护和可重用。这似乎…促进这种证明开发了一些“代码生成”、“代码浏览……”。证明骨架,文章和摘要的语义浏览,结构化浏览,证明建议使用培训…机器像Mizar一样的学习工具证明顾问,演绎工具,如MOMM等,我们给…
  • 斯帕克斯林

  • 1篇参考文献[ SW068 71]
  • 实现是可读的完全可移植到各种各样的机器不同的字大小…它受一个证明类型安全。证明还确定…
  • Perl

  • 252篇参考文献[SW01225]
  • 编程语言Perl。Perl是一种简单易懂的语言。
  • GEX

  • 32篇参考文献[SW09961]
  • 几何专家(GEX)是一个动态的软件。
  • Python

  • 1003篇参考文献[SW14460]
  • Python是一种广泛使用的高级、通用…