Erstellung eines Software-Monitors zur Analyse automatisch generierte Protokollimplementierungen