LOEWE公司 swMATH编号: 29143 软件作者: 描述: LOEWE:LOTOS工程工作台。LOEWE是一个集成工具环境,用于通信软件的规范、分析和实现。虽然LOEWE主要基于形式描述技术LOTOS,但它还提供了给定协议规范的多个语义等价表示。每种格式都经过特殊调整以支持特定的工具功能:过程用于模拟和编译,在扩展的有限状态机上执行快速状态空间探索,并使用标记的转换图进行系统验证。LOEWE目前包含LOTOS语法和静态语义验证器、扩展有限状态机的生成器以及相关的交互式状态探索工具、时态逻辑验证器和从LOTOS行为表达式生成C代码的编译器、LOTOS抽象数据类型操作到一组LISP函数的转换器,LOTOS过程交互的图形跟踪分析器。 主页: https://www.sciencedirect.com/science/article/pii/0169755293900526 相关软件: 凯撒;CADP公司;洛拉;ITS工具;凯撒大帝;梅德利;PNMC公司;NUPN_信息;PNML2NUPN标准;彼得里韦布;Exp.未结;LTSmin公司;续订;利比亚DDD;TINA公司;LOTOS公司;GreatSPN公司;棱镜;并发工作台 引用于: 2文件 1位作者引用 2 休伯特·加拉维 连载1篇 1 程序设计中的逻辑和代数方法杂志 在1个字段中引用 2 计算机科学(68至XX) 按年份列出的引文