• 硫氧还蛋白

  • 8篇参考文献[SW08900]
  • 解释器。句法分析是一个重要的问题。电脑科学,但令人惊讶的关注很少…解析解释器正式开发于证明 助理Coq,能够产生正式正确的解析器…
  • 湿婆

  • 1篇参考文献[SW31000 ]
  • 证明 助理致力于正式校样局部的计算系统和通用属性…
  • 塔克

  • 7篇参考文献[SW0945 5]
  • 一般推论。例如,整个Prolog计算可以使用单个同步捕获…想法,我们已经开发了一个互动证明 助理这个逻辑叫做TAC。我们描述…
  • 聚焦

  • 8篇参考文献[SW1284]
  • Coq档案证明 助理检查校样一个源文件…提供与最佳性能媲美的运行时性能电脑代数系统可用…
  • NL认证

  • 4篇参考文献[ SW0886]
  • 最终在Coq内部证明是正确的证明 助理. 这个领域的一个特殊挑战…当T表示多项式时,工具计算T的下界和上界使用…
  • ESC4

  • 2篇参考文献[SW07219]
  • 它们的规格进入验证条件(VCS)。证明建立VC的正确性…进步者。特别是,我们提出离线用户-辅助的ESC,一种新的验证形式…想象,证明VCs计算上的昂贵:虽然小班可以在几秒钟内验证,验证…
  • 尼比龙

  • 1篇参考文献[SW13045 ]
  • 从海量中受益的应用写作计算的这些芯片提供的电力…可扩展性能。本文首先介绍了证明OpenMP的概念实现与…汞。硬件事务存储器或硬件辅助的STM被视为可能的路径。
  • 公理

  • 168篇参考文献[SW000 063]
  • 公理是一种通用的目的。电脑代数系统…
  • 可爱

  • 58篇参考文献[SW0177]
  • 可爱:C.的同音单元测试引擎。
  • C-XSC

  • 105篇参考文献[SW0181]
  • C-XSC验证科学的编程环境…