703523 Experiments in Verification

summer semester 2009 | Last update: 10.07.2009 | Place course on memo list

Department:

Instructor:

Course number:

703523

Title:

Experiments in Verification

Type/hours:

VO 1

ECTS credits:

Period:

Block

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

Remarks:

Prerequisites: Functional Programming, Module 1 - Specification and Verification (Logic)

Group 0	Export course dates of this group as iCalendar (.ics) Help
Date	Time	Location
Fri 2009-03-06	10.15 - 13.00	rr 20 rr 20	Barrier-free
Fri 2009-03-13	10.15 - 13.00	rr 20 rr 20	Barrier-free
Fri 2009-03-20	10.15 - 13.00	rr 20 rr 20	Barrier-free
Fri 2009-03-27	10.15 - 13.00	rr 20 rr 20	Barrier-free