Integrating Maude into Hets

DOI10.1007/978-3-642-17796-5_4zbMath1308.68075OpenAlexW1552648346MaRDI QIDQ3067467

Till Mossakowski, Mihai Codescu, Christian Maeder, Adrián Riesco

Publication date: 21 January 2011

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-17796-5_4

zbMATH Keywords

rewriting logicMaudeinstitutionheterogeneous specificationsCasl

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42)

Related Items (1)

A Maude environment for CafeOBJ

Uses Software

• IsaPlanner
• CASL
• CafeOBJ
• Maude
• Hets
• CRC 3
• MTT
• ITP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Institution morphisms
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Conditional rewriting logic as a unified model of concurrency
• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Specification and proof in membership equational logic
• Development graphs -- proof management for structured specifications
• Institution-independent model theory
• MTT: The Maude Termination Tool (System Description)
• Institutions: abstract model theory for specification and programming
• A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications
• Theorem Proving in Higher Order Logics

This page was built for publication: Integrating Maude into Hets