Designing Reliable Distributed Systems - A Formal Methods Approach Based on Execut...
Dom Ago 08, 2021 12:45 am
[/center]
Designing Reliable Distributed Systems - A Formal Methods Approach Based on Executable Modeling in Maude
pdf, epub | 9.85 MB | English | Isbn: 978-1447166863 | Author: Peter Csaba Ölveczky | Year: 2017
[/center]
Description:
This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses Maude, a rewriting logic-based language and simulation and model checking tool, which offers a simple and intuitive modeling formalism that is suitable for modeling distributed systems in an attractive object-oriented and functional programming style. Topics and features: introduces classical algebraic specification and term rewriting theory, including reasoning about termination, confluence, and equational properties; covers object-oriented modeling of distributed systems using rewriting logic, as well as temporal logic to specify requirements that a system should satisfy; provides a range of examples and case studies from different domains, to help the reader to develop an intuitive understanding of distributed systems and their design challenges; examples include classic distributed systems such as transport protocols, cryptographic protocols, and distributed transactions, leader election, and mutual execution algorithms; contains a wealth of exercises, including larger exercises suitable for course projects, and supplies executable code and supplementary material at an associated website. 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.
Category:Internet & Networking Computer Hardware, Computer Simulation, Mathematical Logic
Hosters: Rapidgator |Nitroflare
https://rapidgator.net/file/d84b0267d2b054b1735daab3fac28d1e/428nowr8i0v8.rar
[/center]
https://nitro.download/view/28E5D269B0F8C9C/7w97d4l3ikt1.rar
- Building Secure and Reliable Systems - Best Practices for Designing, Implementing,...
- Building Secure and Reliable Systems - Best Practices for Designing, Implementing,...
- Li Y Formal Methods for Control of Nonlinear Systems 2023
- Formal Methods for Industrial Critical Systems - 25th International Conference, FM...
- Energy-Based Control of Electromechanical Systems - A Novel Passivity-Based Approach
Permisos de este foro:
No puedes responder a temas en este foro.
|
|