scientific article

zbMath0962.68108MaRDI QIDQ2703706

José Meseguer, Narciso Martí-Oliet, Francisco Durán, Steven Eker, José F. Quesada, Patrick D. Lincoln, Manuel Clavel

Publication date: 7 May 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Maude 2.0Maude rewriting logic language

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items

Rewriting logic: Roadmap and bibliography ⋮ Unnamed Item ⋮ Two Decades of Maude ⋮ Formal modeling and validation of a power-efficient grouping protocol for WSNs ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Rocket-Fast Proof Checking for SMT Solvers ⋮ Maude ⋮ Maude: specification and programming in rewriting logic ⋮ Reflection in conditional rewriting logic ⋮ A Maude specification of an object-oriented model for telecommunication networks ⋮ Actor theories in rewriting logic