谓词μ演算相关论文
模态图是谓词(演算的一种有效的图形表示形式.证明了谓词(演算和模态图的语义一致性,详细讨论了谓词(演算公式、嵌套谓词等式系和......
模型检测是近二十几年来最成功的自动验证技术之一,而模型检测工具的开发是将模型检测和实际相结合的关键.为了有效地对涉及到复杂......
