Understanding Behaviour of Distributed Systems Using mCRL2

Atif, Muhammad; Groote, Jan Friso

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.

Details

Published by: Springer

Publication Date: 2023-02-26

Format: Hardcover

ISBN-13: 9783031230073

DOI: 10.1007/978-3-031-23008-0

Dimensions: 235.0cm x155.0cm

Pages: 235.0