• 霍尔零点

  • 参考12篇文章[sw17594]
  • 实现良好的解析/打印和波拉克-一致性. 包括一个解释如何辛德雷米尔纳。。。
  • ACL2

  • 引用277篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 玉米

  • 在34篇文章中引用[sw06752]
  • 在奈梅根,C-CoRN的建设性Coq仓库。。。
  • TRX公司

  • 引用9篇文章[sw08800]
  • TRX:一个经过正式验证的解析器解释器。正在分析。。。
  • 塞尔4

  • 引用80篇文章[sw15222]
  • seL4:操作系统内核的形式化验证。完成。。。
  • 平面

  • 引用2篇文章[sw19127]
  • 一个融合套索潜在特征模型分析。。。
  • 认证

  • 参考11篇文章[sw22728]
  • CertiCoq:一个经过验证的Coq编译器。证书。。。