All About Maude - A High-Performance Logical Framework

Author(s): M Clavel, M. Clavel

Publication date: 2007

Read this book at

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Data availability:

Comments

Comment on this book

Cited by 12

Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
Authors: Santiago Escobar, Catherine Meadows, José Meseguer
The SCEL Language: Design, Implementation, Verification
Authors: Rocco De Nicola, Diego Latella, Alberto Lafuente …
Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude
Authors: Peter Ölveczky, Artur Boronat, José Meseguer

See all cited by