带时间参数的计算树逻辑相关硕士博士期刊学术论文 - 信丰网

带时间参数的计算树逻辑相关论文

改进的以SMT为基础的实时系统限界模型检测

基于SAT的限界模型检测在处理实时系统时具有很高的复杂度．SMT求解器在计算可满足性的同时，还能处理算术和其他可判定性理论．在对实时......

期刊

限界模型检测可满足性模块理论实时系统时间自动机时间Kripke结构带时间参数的计算树逻辑 bounded model checking satisf

看过本文同时还关注