Einladung zur Teilnahme an den VSE InfoTagen

Verification Support Environment (VSE) ist ein Werkzeug, das die streng formale Softwareentwicklung in umfassender Weise unterstützt. Es wurde von einem Konsortium aus industriellen und akademischen Partnern im Auftrag des Bundesamtes für Sicherheit in der Informationstechnik (BSI) entwickelt. VSE wird seit 1996 vertrieben und ist inzwischen bei kommerziellen Anwendungen im Einsatz.

Nicht zuletzt auf Grund zahlreicher Anfragen aus dem akademischen Bereich haben die VSE-Vertriebspartner, die DFKI GmbH, die ist GmbH und die Universität Ulm, nach einem Weg gesucht, VSE für Zwecke der Forschung und Lehre zu speziellen Konditionen zugänglich zu machen. Seit kurzem wird VSE im Rahmen einer solchen Hochschullizenz angeboten. Aus diesem Anlaß möchten das BSI und die VSE Vertriebspartner alle Interessierten herzlich zu den VSE InfoTagen nach Saarbrücken einladen, um Ihnen sowohl das VSE Werkzeug selbst und seine Einsatzmöglichkeiten als auch die hinter VSE stehenden Gruppen und Personen vorzustellen. Obwohl sich die neue Lizenz an akademische Anwender richtet, ist die Veranstaltung selbstverständlich auch für Interessenten aus anderen Bereichen offen.

Ablauf

Die InfoTage sollen sowohl einen Überblick über den Hintergrund und die wichtigsten technischen Aspekte von VSE geben als auch einen direkten Eindruck von der Arbeit mit VSE vermitteln. Die geplante Vorführung soll dabei in mehreren Gruppen erfolgen, um eine Interaktion von Zuschauern und Präsentierenden zu ermöglichen. Zusätzlich ist Zeit für Fragen und Diskussionen vorgesehen.

Donnerstag, 4.12.1997

14.00 - 14.15

Begrüßung

14.15 - 14.45

Motivation und Zielsetzung des VSE Projektes (M. Ullmann, BSI)

14.45 - 15.15

Funktionale Modellierung und modulares Beweise in VSE (Prof. Dr. W. Reif, Universität Ulm)

15.45 - 16.15

Anforderungen der Formalen Softwareentwicklung an die Deduktion (Dr. D. Hutter, DFKI)

16.15 - 16.45

Sichere digitale Signaturen: Eine Anwendung von VSE (Prof. Dr. W. Reif, M. Balser, Universität Ulm)

17.15 - 18.00

Softwareentwicklung in VSE - Einführung in das Demo-Beispiel -

Freitag, 5.12.1997

9.00 - 10.30

Softwareentwicklung in VSE - Demo von VSE in mehreren Gruppen

11.00 - 11.30

VSE-II: Eine Übersicht über laufende Arbeiten (Dr. habil. W. Stephan, DFKI)

11.30 - 13.00

Abschluß: Fragen, Antworten, Diskussion

Organisation

Die Veranstaltung wird in den Räumen der Universität Saarbrücken stattfinden. Ihre Ansprechpartner für weitere Fragen und Informationen sind:

Anmeldung

Wenn Sie an der Veranstaltung teilnehmen möchten, füllen Sie bitte das folgende Anmeldeformular (nicht mehr verfügbar) bis 31.11.1997 aus. Bei der Reservierung von Hotels sind wir Ihnen gerne behilflich.

Alternativ können Sie sich selbstverständlich auch schriftlich oder telefonisch anmelden.

Web-Demo

Wegbeschreibung zu den VSE Info-Tagen