A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis

DOI10.1016/j.entcs.2007.06.007zbMath1279.68189OpenAlexW2010316954MaRDI QIDQ2873774

José Meseguer, Michael Katelman

Publication date: 24 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.06.007

zbMATH Keywords

program semanticsrewriting logicco-designMaudehardware description languagesco-verification

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (6)

The rewriting logic semantics project ⋮ The rewriting logic semantics project: a progress report ⋮ Twenty years of rewriting logic ⋮ Memory Representations in Rewriting Logic Semantics Definitions ⋮ A rewriting logic approach to operational semantics ⋮ The Rewriting Logic Semantics Project: A Progress Report

Uses Software

• FoCs
• Maude
• PMaude

Cites Work

• The rewriting logic semantics project
• Specification of real-time and hybrid systems in rewriting logic
• Model checking at IBM
• Hybrid Systems: Computation and Control
• On the effective deployment of functional formal verification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis