703523 Experimente mit Verifikation

Sommersemester 2009 | Stand: 10.07.2009 LV auf Merkliste setzen
703523
Experimente mit Verifikation
VO 1
2
Block
jährlich
Englisch
Einführung in Isabelle/HOL.
Überblick: Verifikationsmethoden; Techniken und Werkzeuge: automatisches Beweisen, Isabelle/HOL
Vorlesung mit praktischen Übungen
Projekt
siehe VO-Website
Voraussetzungen: Funktionale Programmierung, Modul 1 - Spezifikation und Verifikation (Logik)
Beginn: KW 10
Gruppe 0
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