毕加索 swMATH ID: 36776 软件作者： 达米安·祖弗里（Damien Zufferey）；托马斯·怀斯（Thomas Wies）；托马斯·汉津格 描述： PICASSO：基于PI-CAlculus的静态软件分析器。毕加索是深度边界系统（DBS）的静态分析仪。毕加索的主要用例是采用DBS[作为输入]并计算其覆盖集的过近似值。DBS是一种结构良好的图重写系统，它概括了Petri网，并包含了各种各样的无限状态系统。毕加索利用DBS的单调结构，使用专门的算法计算输入DBS的不变量。 主页： https://dzufferey.github.io/picasso/index.html 相关软件： 电梯 引用于： 1文件 3位作者引用 1 托马斯·亨辛格（Thomas A.Henzinger）。 1 托马斯·怀斯 1 达米安·祖弗里 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文