Designing Reliable Distributed Systems, 1st ed. 2017 A Formal Methods Approach Based on Executable Modeling in Maude Undergraduate Topics in Computer Science Series
Auteur : Ölveczky Peter Csaba
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
Date de parution : 02-2018
Ouvrage de 313 p.
15.5x23.5 cm
Thèmes de Designing Reliable Distributed Systems :
Mots-clés :
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