This chapter describes some existing Maude-based tools that are available for download.
The first section describes tools concerned with analysis of either Maude specifications, or of …

This introduction tries to give the big picture on the goals, design philosophy, logical
foundations, applications, and overall structure of Maude. It is written in an impressionistic …

This paper deals with decision procedures specified by using a superposition calculus
which is an inference system at the core of all equational theorem provers. This calculus is …

In this paper we present a method for obtaining local sets of clauses from possibly non-local
ones. For this, we follow the work of Basin and Ganzinger and use saturation under a …

We present a modification of the Superposition Calculus that is meant to generate
consequences of sets of first-order axioms. This approach is proven to be sound and …

Mes recherches s' inscrivent dans le domaine des méthodes formelles de spécification et de
vérification de modèles et de programmes. Mes premiers travaux ont porté sur la vérification …

In this paper we present a method for obtaining local sets of clauses from possibly non-local
ones. For this, we follow the work of Basin and Ganzinger and use saturation under a …

Dynamical systems are mathematical models in which the state of a system at any point in
time is represented by a vector of variables, with a fixed rule determining the evolution of …