Modellierung paralleler Systeme aus Protokollen ihres Verhaltens mit CSight

Parallele Systeme sind notorisch schwierig zu debuggen und zu verstehen. Eine gängige Methode, um Einblicke in das Systemverhalten zu erhalten, besteht darin, Ausführungsprotokolle und Dokumentationen zu inspizieren. Leider ist die manuelle Inspektion von Protokollen ein mühsamer Prozess, und die Dokumentation ist oft unvollständig und nicht mit der Implementierung synchron.