ProbDiVinE公司 swMATH ID: 4134 软件作者： Barnat，J。；Brim，L。；塞尔纳，I。；塞斯卡，M。；J.图莫娃。 描述： ProbDiVinE-MC：概率系统的多核LTL模型检查器我们提出了ProbDiVinE的一个新版本，这是一个并行工具，用于根据线性时序逻辑中描述的属性验证概率系统。与之前的版本不同，该工具的新版本允许进行定量和定性的模型检查。因此，它也是严格的多线程，可以保护用户免受分布式内存环境中不必要的并行计算负担。 主页： http://divise.fi.muni.cz/darcs/mainline/gui/help/divise/probdivine.html 相关软件： 棱镜；通过；拉比尼泽；狂喜；参数；LiQuor公司；MoDeST公司；生物-PEPA；CADP公司；MRMC公司 引用于： 2文件 更多出版物： http://divise.fi.muni.cz/darcs/mainline/gui/help/divise/publications.html 全部的 前5名8位作者引用 2 克里斯特尔·拜尔 1 卢卡·德·阿尔法罗 1 克莱门斯，杜布拉夫 1 Forejt，Vojtěch公司 1 约阿希姆·克莱因 1 Klüppelholz，萨沙 1 Marta Z.Kwiatkowska。 1 萨沙·旺德利希 0连载引用 在2个字段中引用 2 计算机科学（68至XX） 1 概率论与随机过程（60-XX） 按年份列出的引文