Dieses Werk bietet einen tiefen Einblick in formale Ansätze für die Entwicklung sicherer Mehrkernsoftware. Es verbindet theoretische Grundlagen mit praktischen Fallstudien, zeigt, wie man Speichersicherheit und Synchronisation formal modelliert und verifiziert.