LTL可满足性检查相关硕士博士期刊学术论文 - 信丰网

LTL可满足性检查相关论文

线性时态逻辑中若干基础问题的研究

线性时态逻辑(LTL)现今已被广泛运用于计算机科学领域(CS)。它常作为描述系统行为的性质语言,用在程序验证、程序综合与人工智能(A......

学位

模型检测 LTL可满足性检查 LTL到Buchi自动机的转换 LTL_f可满足性检查义务集合义务公式 LTL迁移系统

看过本文同时还关注