Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Jan Haltermann, Manuel Töws, Felix Pauck, Cedric Richter, Heike Wehrheim, Jürgen König, Arnab Sharma, Steffen Beringer, Oleksandra Koslova, Elisabeth Schlatt (left to right) Show image information

Jan Haltermann, Manuel Töws, Felix Pauck, Cedric Richter, Heike Wehrheim, Jürgen König, Arnab Sharma, Steffen Beringer, Oleksandra Koslova, Elisabeth Schlatt (left to right)

Proseminar: Ausgewählte Themen der Software Verifikation

Dozentin: Prof. Dr. Heike Wehrheim
Organisator: Jürgen König

Die Veranstaltung wird über PANDA organisiert. Dementsprechend sind alle aktuellen Informationen in PANDA zu finden.
Die Anmeldung zur Veranstaltung findet über PAUL statt. Wer in PAUL angemeldet ist wird automatisch auch im PANDA für die Veranstaltung angemeldet.

Inhalte

Im Rahmen des Proseminars werden wir uns mit verschiedenen Software Verifikations Verfahren auseinander setzen. Studierende sollen sich nicht nur mit den zu Grunde liegenden Konzepten eines Verfahrens beschäftigen, sondern dieses anderen an Beispielen verständlich machen.

Zudem wird im Proseminar besonders darauf geachtet, dass die von den Teilnehmern erarbeiteten Inhalte angemessen präsentiert und dokumentiert werden.

Organisation

  • Material: siehe Panda (Folien, Ausarbeitungs-Template, ...)
  • Hörerkreis: Bachelor Informatik (2. Studienabschnitt)
  • Vorbesprechung (online): siehe "Einführung Proseminar" in PANDA
  • Prüfungsanmeldung
    • Notwendige Anmeldung zur Prüfung nur während der ersten Prüfungsanmeldephase (Mo, 09.11. - 03.12.2020) möglich.
  • Voraussetzungen um zu bestehen
    • Vortrag (20 Minuten) + Diskussion,
    • Schriftliche Ausarbeitung (5-8 Seiten),
    • Aktive Teilnahme an den Diskussionen,
    • Begutachtung der Ausarbeitung eines anderen Teilnehmers,
    • Einhaltung aller Termine.
  • Notenzusammensetzung
    • Vortrag 45%,
    • Ausarbeitung 45%,
    • Mitarbeit 5%,
    • Review 5%.
Contact

Prof. Dr. Heike Wehrheim

Specification and Modelling of Software Systems

Heike Wehrheim
Phone:
+49 5251 60-4331
Office:
O4.225

Jürgen König

Specification and Modelling of Software Systems

Jürgen König
Phone:
+49 5251 60-1715
Office:
O4.134

Felix Pauck

Specification and Modelling of Software Systems

Felix Pauck
Phone:
+49 5251 60-1765
Fax:
+49 5251 60-3993
Office:
O4.128

Office hours:

Availability (Working hours):
Monday - Friday
07:00 am until ~03:30 pm

The University for the Information Society