• 辅酶Q

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

  • 596篇参考文献[SW0384]
  • PVS是一种验证系统。
  • 阿加达

  • 168篇参考文献[SW0969]
  • AGDA是一种依赖类型的函数式编程语言。
  • 蝇斑

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

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

  • 10篇参考文献[SW1863]
  • 程序和声明风格的综合…