Understanding Behaviour of Distributed Systems Using mCRL2 (Studies in Systems, Decision and Control, 458, Band 458) - Hardcover

Atif, Muhammad; Groote, Jan Friso

 
9783031230073: Understanding Behaviour of Distributed Systems Using mCRL2 (Studies in Systems, Decision and Control, 458, Band 458)
Hardcover
ISBN 10: 3031230078 ISBN 13: 9783031230073
Verlag: Springer, 2023

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Von der hinteren Coverseite

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2023
Sprache
Englisch
ISBN 10 
3031230078
ISBN 13 
9783031230073
Einband
Gebundene Ausgabe
Anzahl der Seiten
250
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783031230103: Understanding Behaviour of Distributed Systems Using mCRL2 (Studies in Systems, Decision and Control, 458, Band 458)

Vorgestellte Ausgabe

ISBN 10:  3031230108 ISBN 13:  9783031230103
Verlag: Springer, 2024
Softcover