勺 swMATH ID: 10581 软件作者: 马克·蒂默 描述: SCOOP:概率过程符号优化工具。。。我们实现了一个工具,可以用来实验上面讨论的所有内容。它以prCRL、MAPA或GSPN规范作为输入,将其线性化为LPPE或MLPE,并可以应用所有的约简技术。它可以对prCRL、MAPA和GSPN进行汇流约简、死变量约简、常数消去、求和消去和表达式简化。此外,对于MAPA和GSPN,它允许最大程度地减少进度。最重要的是,SCOOP可以以IMCA工具的输入格式输出状态空间。此外,它可以将输出再次表示为(优化的)(M)LPE或生成状态空间,或者在研究还原技术的影响时仅计算状态和转换的数量。prCRL规范还可以导出为PRISM规范和各种格式(例如由CADP或PRISM分析)。 主页: http://wwwhome.cs.utwente.nl/~timmer/spop/index.html 相关软件: CADP公司;棱镜;MAMA公司 引用于: 4文件 全部的 前5名9位作者引用 3 Joost-Pieter卡托恩 3 马克·蒂默 2 霍尔格·赫尔曼斯 2 玛丽·斯托琳加 2 范德波尔,扬·科内利斯 1 尤利亚·布特科娃 1 古克,丹尼斯 1 哈桑·哈特菲 1 拉尔夫·维默(Ralf D.Wimmer)。 2篇连载文章中引用 1 理论计算机科学 1 计算机科学中的逻辑方法 在1个字段中引用 4 计算机科学(68至XX) 按年份列出的引文