Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude - Softcover

Inhaltsangabe

Introduction

Part I: Equational Specifications and Their Analysis

Equational Specification in Maude

Operational Semantics of Equational Specifications

Termination

Confluence

Equational Logic

Models of Equational Specifications

Part II: Specification and Analysis of Distributed Systems in Maude

Modeling Distributed Systems in Rewriting Logic

Executing Rewriting Logic Specifications in Maude

Concurrent Objects in Maude

Modeling Communication in Maude

Modeling and Analyzing Transport Protocols

Distributed Algorithms

Analyzing a Cryptographic Protocol

System Requirements

Formalizing and Checking Requirements

Real-Time and Probabilistic Systems

Appendix A: Mathematical Preliminaries

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.