… call Core Maude the Maude 2.0 interpreter implemented in C++ and providing all of
Maude’… The present paper documents Maude 2.0, and explains Maude’s basic concepts in a …

… call Core Maude the Maude 2 interpreter implemented in C++ and providing all of Maude’s …
The present manual documents Maude 2, and explains Maude’s basic concepts in a …

… The Maude system is free software; you can redistribute it and/or modify it under the terms of
… ; either version 2 of the License, or (at your option) any later version. The Maude system is …

… 1.5 Manual structure The present manual documents Maude 3.3.1, and explains Maude’s
basic concepts in a leisurely and mostly informal style. The material is basically presented …

… The present manual focuses on the Real-Time Maude-specific specification … Maude and
Full Maude [6, 8], we start this section by briefly recalling specification in Maude and Full Maude. …

… Section 3 describes the key features of Maude allowing it to be used as a meta-tool. Our
experience in building formal tools in Maude is described in Section 4, where we report on …

… In addition, Maude has been successfully used in software engineering tools in … Maude’s
features necessary for understanding the paper; the interested reader is referred to its manual […

… This paper introduces novel features of Maude 2.4 including … Maude extension. We also
give a brief summary of the most important features of Maude 2.4 that were not part of Maude 2.0 …

… implementation of Maude-SE that provides a flexible yet efficient framework for connecting
Maude to SMT solvers. There exist previous implementations to integrate Maude and SMT …

… In our approach, we define for each CF operator an operation in Maude (as shown in Basic
IOD module in Figure 2). Table 3 depicts the rewriting rules corresponding to each operator. …