Atif / Groote | Understanding Behaviour of Distributed Systems Using mCRL2 | E-Book | www.sack.de
E-Book

E-Book, Englisch, Band 458, 235 Seiten

Reihe: Studies in Systems, Decision and Control

Atif / Groote Understanding Behaviour of Distributed Systems Using mCRL2


1. Auflage 2023
ISBN: 978-3-031-23008-0
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, Band 458, 235 Seiten

Reihe: Studies in Systems, Decision and Control

ISBN: 978-3-031-23008-0
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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.

Atif / Groote Understanding Behaviour of Distributed Systems Using mCRL2 jetzt bestellen!

Autoren/Hrsg.

Atif, Muhammad
Groote, Jan Friso
Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.