703523 Experiments in Verification

summer semester 2010 | Last update: 11.05.2010 Place course on memo list
703523
Experiments in Verification
VO 1
2
not applicable
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
Group 0
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