703523 Experiments in Verification

summer semester 2011 | Last update: 14.07.2011 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 2011-03-11
12.15 - 15.00 rr 25 rr 25
Fri 2011-03-25
12.15 - 15.00 rr 25 rr 25
Fri 2011-04-01
12.15 - 15.00 rr 25 rr 25
Fri 2011-04-15
12.15 - 15.00 rr 25 rr 25