703523 Experiments in Verification
summer semester 2009 | Last update: 10.07.2009 | Place course on memo list703523
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
Prerequisites: Functional Programming, Module 1 - Specification and Verification (Logic)
- Fakultät für Mathematik, Informatik und Physik