Description
Designing Reliable Distributed Systems, 1st ed. 2017
A Formal Methods Approach Based on Executable Modeling in Maude
Undergraduate Topics in Computer Science Series
Author: Ölveczky Peter Csaba
Language: EnglishSubjects for Designing Reliable Distributed Systems:
Keywords
Abstract Data Types; Algebraic and Order-Sorted Specification; Communication and Cryptographic Protocols; Confluence and Termination; Equational and Rewriting Logic; Inductive Theorems; Model Checking; Object-Oriented Modeling; Quick-Sort and Merge-Sort; Reachability Analysis; Simplification and Path Orderings; Simulation; Temporal Logic; Term Rewriting System
313 p. · 15.5x23.5 cm · Paperback
Description
/li>Contents
/li>Biography
/li>Comment
/li>
This self-contained textbook is designed to support undergraduate courses on formal methods and distributed systems, and will prove invaluable to any student seeking a reader-friendly introduction to formal specification, logics and inference systems, and automated model checking techniques.
Part I: Equational Specifications and Their Analysis
Equational Specification in Maude
Operational Semantics of Equational SpecificationsTermination
ConfluenceEquational 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 SystemsAppendix A: Mathematical Preliminaries
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