703523 Experimente mit Verifikation

Sommersemester 2009 | Stand: 10.07.2009 | LV auf Merkliste setzen

Institut:

Lektor/in/n/en:

LV-Nummer:

703523

Titel:

Experimente mit Verifikation

Typ/Stunden:

VO 1

ECTS-AP:

Rhythmus:

Block

Wiederholungsturnus:

jährlich

Unterrichtssprache:

Englisch

Lernergebnis:

Einführung in Isabelle/HOL.

Inhalt:

Überblick: Verifikationsmethoden; Techniken und Werkzeuge: automatisches Beweisen, Isabelle/HOL

Methoden:

Vorlesung mit praktischen Übungen

Prüfungsmodus:

Projekt

Literatur:

siehe VO-Website

Anmerkungen:

Voraussetzungen: Funktionale Programmierung, Modul 1 - Spezifikation und Verifikation (Logik)
Beginn: KW 10

Link:

Gruppe 0	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Datum	Uhrzeit	Ort
Fr 06.03.2009	10.15 - 13.00	rr 20 rr 20	Barrierefrei
Fr 13.03.2009	10.15 - 13.00	rr 20 rr 20	Barrierefrei
Fr 20.03.2009	10.15 - 13.00	rr 20 rr 20	Barrierefrei
Fr 27.03.2009	10.15 - 13.00	rr 20 rr 20	Barrierefrei