Dieses Praktikum dient zur Vertiefung und dem Sammeln praktischer Erfahrung im Umgang mit Verifikationswerkzeugen. Insbesondere werden einfache Verifikationsalgorithmen in einem Framework selbst entworfen und entwickelt.
Da das Praktikum parallel zur Vorlesung "Formale Spezifikation und Verifikation 2" läuft, fängt die inhaltliche Arbeit erst in der Mitte des Semesters an.
Voraussetzung zur Teilnahme ist die gleichzeitige Teilnahme an der Vorlesung "Formale Spezifikation und Verifikation 2". Eine Teilnahme am Praktikum ist ohne Teilnahme an dieser Vorlesung ausgeschlossen.
Als Vorkenntnisse ebenfalls zwingend erforderlich sind die Inhalte der Vorlesung "Formale Spezifikation und Verifikation".
Um bei der Platzvergabe berücksichtigt zu werden, geben Sie bitte bei der Anmeldung an, dass Sie die oben genannten Vorkenntnisse mitbringen und in diesem Semester die dazugehörende Vorlesung "Formale Spezifikation und Verifikation 2" besuchen.
Das Platzvergabe-Verfahren ist fertig. Studenten können sich noch bis 31.10.2017 unabhängig vom Platzvergabe-Verfahren für das Praktikum anmelden. Schreiben Sie dazu an Thomas Lemberger eine Mail, die Ihre CIP Mail-Adresse beinhaltet. Die Anmeldung ist auch möglich, wenn sie nicht am Platzvergabe-Verfahren teilgenommen haben, oder die Veranstaltung dort nicht ausgewählt hatten.