Maude system

Known as: Maude 
The Maude system is an implementation of rewriting logic developed at SRI International. It is similar in its general approach to Joseph Goguen's… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Real-Time Maude is a rewriting-logic-based tool supporting the formal specification and analysis of real-time systems. Our tool… (More)
Is this relevant?
2007
2007
This paper describes the main features of several tools concerned with the analysis of either Maude specifications, or of… (More)
Is this relevant?
2007
2007
Models and metamodels play a cornerstone role in Model-Driven Software Development. Although several notations have been proposed… (More)
  • figure 1
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Maude is a high-level language and a high-performance system supporting executable speci$cation and declarative programming in… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The Maude LTL model checker supports on-the-fly explicit-state model checking of concurrent systems expressed as rewrite theories… (More)
Is this relevant?
2000
2000
Mobile Maude is a mobile agent language extending the rewriting logic language Maude and supporting mobile computation. Mobile… (More)
Is this relevant?
2000
2000
We explore the features of rewriting logic and the language Maude as a logical and semantic framework for representing both the… (More)
Is this relevant?
1999
1999
Maude is a high-performance language and system supporting both equational and rewriting logic computation for a wide range of… (More)
Is this relevant?
1998
1998
One of the key goals of rewriting logic from its beginning has been to provide a semantic and logical framework in which many… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
This paper introduces the basic concepts of the rewriting logic language Maude and discusses its implementation. Maude is a wide… (More)
Is this relevant?