• 霍尔零

  • 12篇参考文献[SW17594]
  • 实现良好的解析/打印波拉克-一致性. 包括Hindley Milner如何解释…
  • 辅酶Q

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

  • 30篇参考文献[SW10269]
  • 常春藤:一个预处理器和验证检查器的第一…
  • SEL4

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