Authors:
- 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
Part of the book series: Undergraduate Topics in Computer Science (UTICS)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (17 chapters)
-
Front Matter
-
Equational Specifications and Their Analysis
-
Front Matter
-
-
Specification and Analysis of Distributed Systems in Maude
-
Front Matter
-
About this book
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.
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
Authors and Affiliations
-
University of Oslo, Oslo, Norway
Peter Csaba Ölveczky
About the author
Bibliographic Information
Book Title: Designing Reliable Distributed Systems
Book Subtitle: A Formal Methods Approach Based on Executable Modeling in Maude
Authors: Peter Csaba Ölveczky
Series Title: Undergraduate Topics in Computer Science
DOI: https://doi.org/10.1007/978-1-4471-6687-0
Publisher: Springer London
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag London 2017
Softcover ISBN: 978-1-4471-6686-3Published: 22 February 2018
eBook ISBN: 978-1-4471-6687-0Published: 12 February 2018
Series ISSN: 1863-7310
Series E-ISSN: 2197-1781
Edition Number: 1
Number of Pages: XVIII, 313
Number of Illustrations: 11 b/w illustrations, 6 illustrations in colour
Topics: Software Engineering, Simulation and Modeling, Mathematical Logic and Formal Languages, Computer Communication Networks