【文件属性】:
文件名称:syfco:合成格式转换工具
文件大小:189KB
文件格式:ZIP
更新时间:2021-05-31 10:55:11
Haskell
合成格式转换工具(版本1.2.1.2)
用于在读取、操作和转换综合规范的。
关于这个工具
该工具解释了高级构造(函数、集合等),并支持将规范转换为不同输出格式的线性时序逻辑 (LTL)。 该工具被设计为在支持的输出格式和语义方面是模块化的。 此外,该工具允许即时识别和操作规范的参数、目标和语义。 这被认为对比较研究特别有用,因为它们在例如是需要的。
该工具的主要功能总结如下:
高级构造的解释,允许将规范减少到其基本片段,其中不再出现参数和变量绑定(即,没有 GLOBAL 部分)。
转换为其他现有规范格式,如 Basic TLSF、 、 、 、 、 和 。
任何 k(模布尔恒等式)的 GR(k) 成员的句法分析。
参数、语义或目标的动态调整。
对生成的 LTL 公式进行预处理。
转换为否定范式。
派生运算符的替换。
向内/向外推/拉下一个、最终或全局操作符。