Rewriting logic is a simple computational logic that can naturally express both concurrent
computation and logical deduction with great generality. This paper provides a gentle …

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 …

The theory and applications of rewriting logic have been vigorously developed by
researchers all over the world during the past eleven years. The attached bibliography …

Formal methods for the specification and verification of hardware and software systems are
becoming more and more important as systems increase in size and complexity. The aim of …

Maude is a high-level language and a high-performance system supporting executable
specification and declarative programming in rewriting logic. Since rewriting logic contains …

Rewriting logic [40] is proposed as a logical framework in which other logics can be
represented, and as a semantic framework for the specification of languages and systems …

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 …

In the effort to bring rewriting-based methods into contact with practical applications both in
programing and in formal verification, there is a tension between:(i) expressiveness and …

We describe a first proposal for a strategy language for Maude, to control the rewriting
process and to be used at the object level instead of at the metalevel. We also describe a …

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 …