zbMATH — the first resource for mathematics

All about Maude – a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. (English) Zbl 1115.68046
Lecture Notes in Computer Science 4350. Berlin: Springer (ISBN 978-3-540-71940-3/pbk). xxii, 797 p. (2007).
Publisher’s description: This book offers a comprehensive account of Maude, a language and system based on rewriting logic. Maude is used in organizations around the world for teaching, research, formal modeling, and analysis of concurrent and distributed systems.
The authors carefully explain Maude’s many features, helping you determine when it is appropriate for use in your own organization. Specifically, you’ll discover how Maude and its formal tool environment can be used in three mutually reinforcing ways: as a declarative programming language, as an executable formal specification language, and as a formal verification system.
Examples used throughout the book illustrate key concepts, features, and the many practical uses of Maude. In addition, this book comes with an accompanying CD-ROM that contains the complete Maude 2.3 software distribution (including source code), a PDF version of the complete book, and executable Maude code for all the examples in the book. With its clear guidance, numerous examples, and practical features, you’ll easily become a Maude expert yourself.

68N15 Theory of programming languages
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
68M14 Distributed systems
03B70 Logic in computer science
68-02 Research exposition (monographs, survey articles) pertaining to computer science