计算机软件新技术-计算机科学国家重点实验联合学术研讨会

演讲人:张文辉

题目:CTL限界语义与限界模型检测

摘要:报告内容为CTL限界语义、基于SAT的ACTL限界模型检测、基于QBF的CTL限界模型检测。