一个概率过程的符号优化工具。。。我们实现了一个工具,可以用来试验上面讨论的一切。它以prCRL、MAPA或GSPN规范为输入,将其线性化为LPPE或MLPE,并且可以应用所有的约简技术。它可以对prCRL、MAPA和GSPN进行合流归约、死变量归约、常数消去、求和消去和表达式简化。此外,对于MAPA和GSPN,它允许最大程度地减少进度。最重要的是,SCOOP可以以IMCA工具的输入格式输出状态空间。此外,它可以将输出再次表示为(优化的)(M)LPE或生成状态空间,或者在研究还原技术的效果时仅计算状态和转换的数量。prCRL规范也可以导出为PRISM规范和各种格式(例如由CADP或PRISM分析)。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换