西蒙娜·奥尔赞;范德波尔（Jaco van de Pol）;米盖尔·瓦莱罗·埃斯帕达 基于抽象解释的状态空间分配策略。 （英语） Zbl 1272.68273号 Brim，Luboš（ed.）等人，第三届平行和分布式验证方法国际研讨会论文集（PDMC 2004），英国伦敦，2004年9月4日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》128，第3期，35-45（2005）。 摘要：我们的目标是提高分布式算法用于模型检查和状态空间约简的性能。为此，我们引入了一项新的国家对工人的分配政策。该政策减少了位于不同工作人员所在州之间的过渡次数。这反过来有望降低分布式算法的通信成本。其主要思想是从系统的高级描述开始，使用抽象解释技术计算状态空间的小近似值。基于此近似，预测了具体状态的连通性。此信息用于将具有预期连接的状态分布到同一工作机。实验表明，交叉转换大大减少，但每个工作线程的节点数量略有不平衡。关于整个系列，请参见[Zbl 1271.68026号]. 引用于2文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68宽15 分布式算法 PDF格式BibTeX公司 XML格式引用 \textit{S.Orzan}等人，《电子》。注释Theor。计算。科学。128，第3号，35-45（2005；Zbl 1272.68273） 全文： 链接