Overview
- Helps readers grasp basic modelling through examples and exercises
- Includes case studies showing surprising results in formal analysis
- Enhances readers’ understanding of formal specifications
Part of the book series: Studies in Systems, Decision and Control (SSDC, volume 458)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (10 chapters)
-
Front Matter
-
Back Matter
Keywords
About this book
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to analyse a distributed system with respect to its functional requirements. For example, biological cells, supply chain management systems, patient support platforms, and communication protocols.
The underlying technique is based on verifying requirements through model checking. The book explains the syntax of mCRL2 and offers modelling tips and tricks.Authors and Affiliations
Bibliographic Information
Book Title: Understanding Behaviour of Distributed Systems Using mCRL2
Authors: Muhammad Atif, Jan Friso Groote
Series Title: Studies in Systems, Decision and Control
DOI: https://doi.org/10.1007/978-3-031-23008-0
Publisher: Springer Cham
eBook Packages: Engineering, Engineering (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023
Hardcover ISBN: 978-3-031-23007-3Published: 26 February 2023
Softcover ISBN: 978-3-031-23010-3Published: 27 February 2024
eBook ISBN: 978-3-031-23008-0Published: 25 February 2023
Series ISSN: 2198-4182
Series E-ISSN: 2198-4190
Edition Number: 1
Number of Pages: XV, 235
Number of Illustrations: 88 b/w illustrations, 15 illustrations in colour
Topics: Computer Applications, Mathematical Logic and Foundations, Mathematical and Computational Biology, Statistics and Computing/Statistics Programs, Probability Theory and Stochastic Processes, Mathematical Applications in Computer Science