会议论文《基于谓词μ演算和空间逻辑的模型检测算法研究》探讨了如何将谓词μ演算与空间逻辑结合，用于提高模型检测的效率和准确性。该研究针对通信系统中的复杂行为进行形式化验证，提出了一种新的算法框架。通过引入空间逻辑的特性，增强了对分布式系统的建模能力，为通信协议的正确性分析提供了有力工具。
文档为pdf格式，0.27MB，总共6页。
举报
