Understanding Behaviour of Distributed Systems Using mCRL2 - Softcover

Groote, Jan Friso; Atif, Muhammad

 
9783031230097: Understanding Behaviour of Distributed Systems Using mCRL2
Softcover
ISBN 10: 3031230094 ISBN 13: 9783031230097
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.

Verlag
Springer
Erscheinungsdatum
2023
Sprache
Englisch
ISBN 10 
3031230094
ISBN 13 
9783031230097
Einband
Tapa blanda
Anzahl der Seiten
252
Kontakt zum Hersteller
ROXIO
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
22391
Deutschland

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  3031230078 ISBN 13:  9783031230073
Verlag: Springer, 2023
Hardcover