语法重定序论文

模型检测形式化分析中若干关键问题研究
论文摘要模型检测是近二十年来最成功的形式化自动验证技术之一。其因自动化程度高,效率高等优点而被广泛应用于并发系统的分析与验证中。与定理证明等其他形式化验证方法相比,模型检测的主...