Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


INFORMATIK 2007 Informatik trifft Logistik Band 2 Beiträge der 37. Jahrestagung der Gesellschaft für Informatik e.V. (GI) 24. - 27. September 2007 in Bremen P-110, 268-274 (2007).

Gesellschaft für Informatik, Bonn
2007


Editors

Otthein Herzog (ed.), Karl-Heinz Rödiger (ed.), Marc Ronthaler (ed.), Rainer Koschke (ed.)


Copyright © Gesellschaft für Informatik, Bonn

Contents

Transformation und Vergleich von endlichen Automaten zur Analyse von Software-Protokollen

G. Vogel

Abstract


Der Artikel beschreibt, wie endliche Automaten für Software-Protokolle aus dem Quelltext gewonnen und durch Transformationen für die Weiterverarbeitung und den Vergleich aufbereitet werden können. Die beschriebenen Techniken werden zur Prüfung von Protokollen oder zur Herleitung von Protokollspezifikationen eingesetzt. Messergebnisse zeigen die Praktikabilität des Verfahrens.


Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-206-1


Last changed 04.10.2013 18:15:01