×

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文件

在1个字段中引用

4 计算机科学(68至XX)

按年份列出的引文