Dieses Buch führt tief in die formalen Techniken ein, die zur Analyse verteilter Systeme eingesetzt werden, und zeigt anhand konkreter Fallstudien, wie man Modelle präzise definiert, verifiziert und Fehlerquellen systematisch eliminiert.