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 …

In the area of Wireless Sensor Networks (WSNs), improving energy efficiency and network
lifetime is one of the most important and challenging issues. Most of the considered WSNs …

Constraint programming is a powerful paradigm for solving combinatorial search problems
that draws on a wide range of techniques from artificial intelligence, computer science …

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 model-driven approach can increase development productivity and quality by
describing important aspects of a solution with human-friendly abstractions and by …

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 …

The Maude LTL model checker supports on-the-fly explicit-state model checking of
concurrent systems expressed as rewrite theories with performance comparable to that of …

As its title promises, this book provides foundations for software specification and formal
software development from the perspective of work on algebraic specification. It …

This paper gives an overview of the Maude 2.0 system. We emphasize the full generality
with which rewriting logic and membership equational logic are supported, operational …

Stratego/XT is a framework for the development of transformation systems aiming to support
a wide range of program transformations. The framework consists of the transformation …