-
辅酶Q
- 1706篇参考文献[SW0161]
- 正式证明管理系统。它提供了一个正式语言编写数学定义，可执行算法…机器检查证明。典型应用包括形式化编程语言的语义（例如，编译器…工业环境下的卡片EAL7认证形式化数学（如数学）形式化…
-
伊莎贝尔
- 573篇参考文献[SW044]
- 用A表示的数学公式正式语言和提供工具证明这些…逻辑演算主要应用是形式化数学证明，特别是数学证明正式…
-
毫升
- 491篇参考文献[SW01218]
- 确保类型安全-有一个正式证明一个良好的ML程序…完全指定和验证使用正式语义学。它的种类和图案匹配使它很好。常用于其他操作正式语言，如编译器编写，自动定理…证明和正式验证。（维基百科…
-
团结
- 170篇参考文献[SW13461 ]
- 过渡系统首先成为一组正式允许，断言正式验证的过渡…过渡系统：可以指定属性正式地模型应该服从并证明它们…定理的应用正式规格通过生成一个仿真程序来说明该方法。
-
Z
- 270篇参考文献[SW1091]
- 这是为了促进一门学科的发展。正式规范与推理？另一个失望是…
-
归档形式证明
- 129篇参考文献[SW28 613]
- 伊莎贝尔档案馆正式证据（AFP）：挖掘档案正式校样。档案馆…正式证明是一个巨大的集合计算机检查证明开发使用证明助理…提供了一些见解的性质正式证明…
-
逆合成孔径雷达
- 134篇参考文献[SW04999 ]
- 伊莎贝尔。尽管实际上取得了成功形式化数学和计算机科学的部分，在那里…半自动推理（伊萨尔河）方法可读性正式证明文件准备桥接…用户级工作的抽象化。逆合成孔径雷达正式证明语言已被设计来满足…系统为Isar提供解释器正式证明文件语言。伊莎贝尔/ ISAR输入包括…
-
电除尘器
- 150篇参考文献[SW06302]
- 多种数学活动促进发展正式理论在各种各样的学科，演绎…ETPS：一种帮助学生写作的系统正式证明（后记）
-
蝇斑
- 102篇参考文献[SW1027 7]
- 沟通正式证据：苍蝇的例子。我们介绍了一个平台，展示和交叉…链接正式和非正式证据一起发展。该平台支持编写自然语言“叙事”，即…包括岛屿正式文本这个正式文本包含超链接并提供按需状态…系统大大降低了理解的门槛正式发展和促进非正式合作…
