• 辅酶Q

  • 1706篇参考文献[SW0161]
  • 正式证明管理系统。它提供了一个正式语言编写数学定义,可执行算法…机器检查证明。典型应用包括形式化编程语言的语义(例如,编译器…工业环境下的卡片EAL7认证形式化数学(如数学)形式化
  • 伊莎贝尔/霍尔

  • 882篇参考文献[SW01569]
  • 用A表示的数学公式正式语言和提供工具证明这些…逻辑演算主要应用是形式化数学证明,特别是数学证明正式
  • 伊莎贝尔

  • 573篇参考文献[SW044]
  • 用A表示的数学公式正式语言和提供工具证明这些…逻辑演算主要应用是形式化数学证明,特别是数学证明正式
  • 毫升

  • 491篇参考文献[SW01218]
  • 确保类型安全-有一个正式证明一个良好的ML程序…完全指定和验证使用正式语义学。它的种类和图案匹配使它很好。常用于其他操作正式语言,如编译器编写,自动定理…证明和正式验证。(维基百科…
  • 自旋

  • 686篇参考文献[SW0345 5]
  • 在世界范围内,可以用于正式分布式软件系统的验证。工具…
  • PVS

  • 593篇参考文献[SW0384]
  • 机械化技术正式方法和足够坚固的…
  • 霍尔灯

  • 274篇参考文献[SW0680]
  • 中的一些非平凡任务形式化数学与工业正式验证。。。
  • 水獭

  • 306篇参考文献[SW02904]
  • 水獭是抽象代数的研究对象。正式逻辑。水獭及其前身一直是……
  • 团结

  • 170篇参考文献[SW13461 ]
  • 过渡系统首先成为一组正式允许,断言正式验证的过渡…过渡系统:可以指定属性正式地模型应该服从并证明它们…定理的应用正式规格通过生成一个仿真程序来说明该方法。
  • 努斯莫

  • 284篇参考文献[SW04131]
  • 自定义验证工具,作为测试平台正式验证技术,并应用于其他研究…
  • Z

  • 270篇参考文献[SW1091]
  • 这是为了促进一门学科的发展。正式规范与推理?另一个失望是…
  • 奥斯姆

  • 239篇参考文献[SW06367]
  • 极限。具体来说,我们采用渐近分析正式地导出数值通量的适当尺度。
  • 归档形式证明

  • 129篇参考文献[SW28 613]
  • 伊莎贝尔档案馆正式证据(AFP):挖掘档案正式校样。档案馆…正式证明是一个巨大的集合计算机检查证明开发使用证明助理…提供了一些见解的性质正式证明…
  • 逆合成孔径雷达

  • 134篇参考文献[SW04999 ]
  • 伊莎贝尔。尽管实际上取得了成功形式化数学和计算机科学的部分,在那里…半自动推理(伊萨尔河)方法可读性正式证明文件准备桥接…用户级工作的抽象化。逆合成孔径雷达正式证明语言已被设计来满足…系统为Isar提供解释器正式证明文件语言。伊莎贝尔/ ISAR输入包括…
  • 电除尘器

  • 150篇参考文献[SW06302]
  • 多种数学活动促进发展正式理论在各种各样的学科,演绎…ETPS:一种帮助学生写作的系统正式证明(后记)
  • 蝇斑

  • 102篇参考文献[SW1027 7]
  • 沟通正式证据:苍蝇的例子。我们介绍了一个平台,展示和交叉…链接正式和非正式证据一起发展。该平台支持编写自然语言“叙事”,即…包括岛屿正式文本这个正式文本包含超链接并提供按需状态…系统大大降低了理解的门槛正式发展和促进非正式合作…
  • 果洛

  • 166篇参考文献[SW02159]
  • 仿真等。正式在扩展中指定的行动理论…