703523 Experimente mit Verifikation

Sommersemester 2011 | Stand: 14.07.2011 | LV auf Merkliste setzen

Institut:

Lektor/in/n/en:

LV-Nummer:

703523

Titel:

Experimente mit Verifikation

Typ/Stunden:

VO 1

ECTS-AP:

Rhythmus:

keine Angabe

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:

Beginn:

Link:

Gruppe 0	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Datum	Uhrzeit	Ort
Fr 11.03.2011	12.15 - 15.00	rr 25 rr 25
Fr 25.03.2011	12.15 - 15.00	rr 25 rr 25
Fr 01.04.2011	12.15 - 15.00	rr 25 rr 25
Fr 15.04.2011	12.15 - 15.00	rr 25 rr 25