扩充论文

模型检测形式化分析中若干关键问题研究
论文摘要模型检测是近二十年来最成功的形式化自动验证技术之一。其因自动化程度高,效率高等优点而被广泛应用于并发系统的分析与验证中。与定理证明等其他形式化验证方法相比,模型检测的主...
描述逻辑及其模态扩充的模型
论文摘要本文主要讨论描述逻辑及其模态扩充的模型,分两方面进行:其一是考虑循环ALCN的Tbox具有模型的条件,指出了文献[1]中命题2.9的错误,并对命题2.9进行了一些修改;...