Inhalt

In dieser Vorlesung werden Sie lernen, mit dem interaktive Theorembeweiser PVS zu arbeiten. Nach einer kurzen Einführung werden Sie eine Verifikationsaufgabe selbstständig in PVS lösen.

Eine ausführlichere Beschreibung, das Vorlesungsskript und andere Informationen finden Sie auf http://askra.de/lehre/angewandte-verifikation.

Organisation

• In der ersten Vorlesungswoche gibt es eine Systemdemonstration im Rechnerlabor: Mittwoch 4.4.12, 2. DS, E069
• In der 2. - 4. Woche gibt es 3 Vorlesungen zur Systemeinführung (Raum und Zeit nach Vereinbarung)
• Danach arbeiten Sie selbstständig an Ihrer Aufgabe.