Title: Programme zur Netzanalyse und Verifikation von Komunikationsprotokollen