公式2

公式2:一种用于正式规范的语言。公式2是基于{IT开放世界逻辑程序}和{IT行为类型}的一种新的形式化规范语言。它的目标是(1)领域特定的抽象和编译器的简洁规范,(2)输入程序的有效推理和编译,(3)不同的合成和快速验证。为了实现这些目标,我们采取了独特的方法:规范被写为强类型的开放世界逻辑程序。它们是高度声明性的,并且容易表达丰富的合成/验证问题。自动推理是通过将逻辑程序的有效符号执行转化为约束来实现的。本教程通过一系列小例子介绍了公式2语言和概念。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。