Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude /

• Main Author: Ölveczky, Peter Csaba (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: London : Springer London : Imprint: Springer, 2017.
• Series: Undergraduate Topics in Computer Science,
• Subjects: Computer science.; Computer communication systems.; Software engineering.; Mathematical logic.; Computer simulation.; Computer Science.; Software Engineering.; Simulation and Modeling.; Mathematical Logic and Formal Languages.; Computer Communication Networks.

This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses Maude, a rewriting logic-based language and simulation and model checking tool, which offers a simple and intuitive modeling formalism that i...