LTL性质相关论文
模型检测是用来验证系统模型是否满足所期望性质的一种形式化方法，模型检测相对于其它的模型检验方法有两个显著的特点，一个是它对模......
为了提高对时间自动机进行空性检测的效率，研究了使用基于时钟区域（zone）的符号化方法和抽象对时间自动机进行空性检测，提出了针对时间......
