机译:局部公平下的重写公式线性时态逻辑模型检验
Department of Computer Science, University of Illinois at Urbana-Champaign, IL, USA;
Department of Computer Science, University of Illinois at Urbana-Champaign, IL, USA;
Model checking; Parameterized fairness; Linear temporal logic of rewriting;
机译:基于重写的线性线性时序逻辑的基于模型的检查器
机译:基于模型检查线性时间逻辑的UDPStorm攻击检测
机译:线性时态逻辑的有界模型检验用于容错可逆电路的新综合方法
机译:重写Maude模型检查器的线性时间逻辑
机译:为基于复杂模式的规范生成线性时间逻辑公式
机译:使用贴纸自动机模型检查时间逻辑公式
机译:基于重写的线性时序逻辑的基于重写的模型检查器
机译:具有公平约束的petri网线性时态逻辑性质模型检验。