A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications
From MaRDI portal
Publication:4933279
DOI10.1007/978-3-642-16310-4_6zbMath1306.68065OpenAlexW193668645MaRDI QIDQ4933279
Francisco Durán, José Meseguer
Publication date: 12 October 2010
Published in: Rewriting Logic and Its Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-16310-4_6
Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items (6)
CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems ⋮ Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic ⋮ On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories ⋮ Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool ⋮ Integrating Maude into Hets ⋮ Ground confluence of order-sorted conditional specifications modulo axioms
Uses Software
This page was built for publication: A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications
