扩展命题区间时序逻辑相关论文
针对扩展命题区间时序逻辑由于缺少验证算法因而不能用于模型检测问题，提出该逻辑的可满足性判定算法。首先，正则形子算法把带星算子......
在攻击建模领域,基于逻辑的建模方法具有独特的优势和研究价值,能够有效检测复杂的网络攻击。以往研究[1]在建模和逻辑描述方面存......
