Peter Csaba Ölveczky

Designing Reliable Distributed Systems (eBook, PDF)

A Formal Methods Approach Based on Executable Modeling in Maude

• Format: PDF

Produktbeschreibung

Introduces formal modeling of abstract data types and distributed systems

Does not assume or require any formal methods or theoretical computer science background

Contains exercises throughout

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer London
• Seitenzahl: 313
• Erscheinungstermin: 12. Februar 2018
• Englisch
• ISBN-13: 9781447166870
• Artikelnr.: 53031987

Autorenporträt

Dr. Peter Csaba Ölveczky is a Professor in the Department of Informatics at the University of Oslo, Norway.

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.