A Verification Logic for Rewriting Logic期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

A Verification Logic for Rewriting Logic

Authors:	Marti-Oliet Narciso; Pita Isabel; Fiadeiro Jose Luiz; Meseguer Jose; Maibaum Tom

Affiliation:	¹ Dept. Sistemas Informáticos y Programmación, Univ. Complutense de Madrid, 28040 Madrid, Spain. Email: narciso{at}sip.ucm.es, ipandreu{at}sip.ucm.es, ² Dept. Computer Science, Univ. Leicester, University Road, Leicester, LE1 7RH, UK. Email: jose{at}fiadeiro.org, ³ Computer Science Dept., University of Illinois at Urbana-Champaign, 201 Goodwin Avenue, Urbana, IL 61801-2302, USA. Email: meseguer{at}uiuc.edu, ⁴ Dept. Computing and Software, McMaster Univ., 1280 Main St. West, Hamilton, Ontario, Canada L8S 4K1. Email: tom{at}maibaum.org

Abstract:

Keywords:	Rewriting logic modal action logic temporal logic specification verification
本文献已被 Oxford 等数据库收录！