A Verification Logic for Rewriting Logic

DOI10.1093/LOGCOM/EXI015zbMath1101.68684OpenAlexW2148361595WikidataQ123905894 ScholiaQ123905894MaRDI QIDQ3025340

José Luiz Fiadeiro, Thomas S. E. Maibaum, José Meseguer, Isabel Pita, Narciso Martí-Oliet

Publication date: 13 July 2005

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exi015

zbMATH Keywords

verificationRewriting logictemporal logicmodal action logicspecification

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Temporal logic (03B44)

Related Items (2)

Graph-Based Design and Analysis of Dynamic Software Architectures ⋮ A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting

Uses Software

• Maude

This page was built for publication: A Verification Logic for Rewriting Logic