703523 Experimente mit Verifikation

Sommersemester 2010 | Stand: 11.05.2010 | 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: KW 10

Link:

Gruppe 0	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Datum	Uhrzeit	Ort
Fr 12.03.2010	12.15 - 14.30	rr 21 rr 21	Barrierefrei
Fr 19.03.2010	12.15 - 14.30	rr 21 rr 21	Barrierefrei
Fr 26.03.2010	12.15 - 14.30	rr 21 rr 21	Barrierefrei
Fr 16.04.2010	12.15 - 14.30	rr 21 rr 21	Barrierefrei