Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana IL 61801;
Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana IL 61801;
model checking; rewriting logic; maude; automata;
机译:基于重写的线性线性时序逻辑的基于模型的检查器
机译:局部公平下的重写公式线性时态逻辑模型检验
机译:重写逻辑和Maude中的句子归一化条件缩窄模。
机译:重写Maude模型检查器的线性时间逻辑
机译:密码协议和浏览器的重写逻辑中的安全模型。
机译:羚羊:用于分支时间布尔GRN分析的混合逻辑模型检查器
机译:基于重写的线性时序逻辑的基于重写的模型检查器