• 圣杯

  • 5篇参考文献[SW26751 ]
  • GRAIL:命令式移动设备的功能形式代码. 在小说中…担保项目,圣杯证明-运送 代码提供时间保证…
  • AutoBayes/CC

  • 4篇参考文献[SW01806]
  • 可以独立检查代码消费者或认证机构…这些方法的基础证明-运送 代码
  • TCB

  • 4篇参考文献[SW13591]
  • 值得信赖的证明检查员。证明-运送 代码(PCC)和计算机安全中的其他应用需要机器…
  • BCIC

  • 1篇参考文献[SW2679]
  • 正式校样关于本征性质代码依靠认证和信任关系。BCiC…最先进的系统证明-运送 代码模块化检查器…
  • 塞西奥

  • 118篇参考文献[SW0707]
  • SESEO:一个高性能的定理证明器。论文…
  • 毫升

  • 491篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • SAS

  • 1297篇参考文献[SW06367]
  • SAS(统计分析系统)是一个完整的系统。
  • GC

  • 29篇参考文献[SW09418]
  • 垃圾回收页是一个综合资源…
  • 皮诺奇

  • 27篇参考文献[SW10193]
  • Pinocchio:近乎实用的可验证计算。灌输更大的…