Understanding Behaviour of Distributed Systems Using mCRL2 - Jan Friso Groote (Buch)

Jan Friso Groote: Understanding Behaviour of Distributed Systems Using mCRL2

Jan Friso Groote, Muhammad Atif

Understanding Behaviour of Distributed Systems Using mCRL2

Buch

lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)

EUR 197,13*

Versandkosten

Springer International Publishing, 02/2024
Einband: Kartoniert / Broschiert, Paperback
Sprache: Englisch
ISBN-13: 9783031230103
Bestellnummer: 11782899
Umfang: 252 Seiten
Auflage: 2023
Gewicht: 434 g
Maße: 235 x 155 mm
Stärke: 13 mm
Erscheinungstermin: 27.2.2024
Serie: Studies in Systems, Decision and Control - Band 458
Achtung: Artikel ist nicht in deutscher Sprache!

Weitere Ausgaben von Understanding Behaviour of Distributed Systems Using mCRL2

Klappentext

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.