首先用时钟变量扩充线性时态逻辑,接着提出了一个方法——用带时钟变量的时态逻辑(LTLC)来扩充..
基于12个网页-相关网页
文献[1-2]提出了带有时钟的线性时序逻辑 (LTLC)的统一框架模型检测的思路,但未给出可操 作的算法步骤.
基于8个网页-相关网页
应用推荐
模块上移
模块下移
不移动