基于偏序和对称约简的分布式可达性分析技术
Techniques for Distributed Reachability Analysis with Partial Order and Symmetry based Reductions
摘要：
在这项工作中，我们提出了有效的可达性分析的状态空间的技术（例如，坏状态的检测），在分布式设置中使用基于偏序和对称性的简化的组合。所提出的技术集中在显式状态空间枚举基于模型检查器，如SPIN。我们考虑的变体的深度优先以及基于广度优先生成的减少状态图的飞行。
英文摘要：
In this work we propose techniques for efficient reachability analysis of the state space (e.g., detection of bad states) using a combination of partial order and symmetry based reductions in a distributed setting. The proposed techniques are focused towards explicit state space enumeration based model-checkers like SPIN. We consider variants for both depth-first as well as breadth-first based generation of the reduced state graphs on-the-fly.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
