703523 Experiments in Verification

summer semester 2009 | Last update: 10.07.2009 Place course on memo list
703523
Experiments in Verification
VO 1
2
Block
annually
English
Introduction to Isabelle/HOL.
Overview: verification methods; techniques and tools: automated reasoning, Isabelle/HOL
lecture with practical exercises
project
see VO-website
not applicable
Prerequisites: Functional Programming, Module 1 - Specification and Verification (Logic)
Group 0
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