Dept. Sistemas Informaticos y Pro grammarion, Univ. Complutense de Madrid, 28040 Madrid, Spain;
rewriting logic; modal action logic; temporal logic; specification; verification;
机译:比较重写逻辑:重写逻辑,动作计算和切片逻辑
机译:对冲重写系统安全验证的一阶逻辑
机译:Web应用程序正式规范和验证的重写逻辑方法
机译:迈向重写逻辑的验证逻辑
机译:基于等效验证的异步睡眠会议逻辑电路的正式验证方法
机译:对恶性淋巴样细胞的细胞免疫反应的计算机模拟:方法逻辑模型设计和实验室验证。
机译:在重写逻辑规范中验证可达性逻辑属性
机译:重写逻辑中同步集关系的仿真与验证。