A Verification Logic for Rewriting Logic

DOI10.1093/LOGCOM/EXI015MaRDI QIDQ3025340zbMATH OpenOpenAlexWikidataFDO

Authors Narciso Martí-Oliet, Isabel Pita, José Fiadeiro, José Meseguer, Tim Maibaum

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

modal action logicRewriting logicspecificationtemporal logicverification

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1617312
• Algebraic simulations
• Verifying Reachability-Logic Properties on Rewriting-Logic Specifications
• Proving modal properties of rewrite theories using Maude's metalevel
• Twenty years of rewriting logic

Cited in

(14)

• Modal logic for rewriting theories
• scientific article; zbMATH DE number 1617312 (Why is no real title available?)
• Proving modal properties of rewrite theories using Maude's metalevel
• Characterization Theorems for Revision of Logic Programs
• Verifying Reachability-Logic Properties on Rewriting-Logic Specifications
• Abstract Certification of Global Non-interference in Rewriting Logic
• Graph-Based Design and Analysis of Dynamic Software Architectures
• Verification logic
• scientific article; zbMATH DE number 6863635 (Why is no real title available?)
• A rewriting-based model checker for the linear temporal logic of rewriting
• Theoretical Aspects of Computing – ICTAC 2005
• Representational reasoning and verification
• Verification for everyone? An overview of dynamic logic
• Verification of the IBOS Browser Security Properties in Reachability Logic

Describes a project that uses

Uses Software

• Maude

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3025340)