703523 Experiments in Verification

summer semester 2010 | Last update: 11.05.2010 | Place course on memo list

Department:

Instructor:

Course number:

703523

Title:

Experiments in Verification

Type/hours:

VO 1

ECTS credits:

Period:

not applicable

Mode of repetition:

annually

Language of instruction:

English

Learning Outcome:

Introduction to Isabelle/HOL.

Contents:

Overview: verification methods; techniques and tools: automated reasoning, Isabelle/HOL

Methods:

lecture with practical exercises

Assessment:

project

Literature:

see VO-website

Group 0	Export course dates of this group as iCalendar (.ics) Help
Date	Time	Location
Fri 2010-03-12	12.15 - 14.30	rr 21 rr 21	Barrier-free
Fri 2010-03-19	12.15 - 14.30	rr 21 rr 21	Barrier-free
Fri 2010-03-26	12.15 - 14.30	rr 21 rr 21	Barrier-free
Fri 2010-04-16	12.15 - 14.30	rr 21 rr 21	Barrier-free