• 辅酶Q

  • 1739篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • 蒂皮

  • 4篇参考文献[SW09147]
  • Tipi:一个基于TPTP的理论开发环境强调…
  • 阿贝拉

  • 46篇参考文献[SW09461 ]
  • 阿贝拉交互式定理证明器(系统描述)。Abella…
  • 蝇斑

  • 107篇参考文献[SW1027 7]
  • 传达形式证明:FiSSPECK的例子。我们
  • SEL4

  • 78篇参考文献[SW15222]
  • SEL4:一个OS内核的形式化验证。完成…