SimGridMC公司 swMATH编号： 23751 软件作者： Anh Pham；蒂埃里·杰伦；马丁·昆森 描述： 使用SimGridMC验证MPI应用程序。SimGridMC（也称为Mc SimGrid）是MPI应用程序的有状态模型检查器。它集成到SimGrid，SimGrid是一个主要用于预测分布式应用程序性能的框架。我们描述了McSimGrid的体系结构，并展示了它如何使用动态部分降阶和状态相等算法处理状态空间爆炸问题。作为案例研究，我们展示了SimGrid如何为MPI应用程序强制执行安全性和活跃性属性，以及通信模式上的全局不变量。 主页： https://dl.acm.org/citation.cfm？doid=3145344.3145345 相关软件： SLAM公司;KITTeL公司;ASTREE公司;SIMGRID公司;CBMC公司;YASM公司;高斯;Java PathFinder;捕食者;ISP公司;自旋蛋白;爆炸;活力;MPI-检查 引用于： 2文件 5位作者引用 2 马丁·昆森 1 加布里埃尔·科罗纳 1 马里恩·古特穆勒 1 蒂埃里·杰伦 1 Pham，The-Anh公司 连载1篇 1 程序设计中的逻辑和代数方法杂志 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文