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