E-Book, Englisch, 313 Seiten, eBook
Ölveczky Designing Reliable Distributed Systems
1. Auflage 2017
ISBN: 978-1-4471-6687-0
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
A Formal Methods Approach Based on Executable Modeling in Maude
E-Book, Englisch, 313 Seiten, eBook
Reihe: Undergraduate Topics in Computer Science
ISBN: 978-1-4471-6687-0
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Lower undergraduate
Autoren/Hrsg.
Weitere Infos & Material
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.