Advanced Formal Methods, 5 points

Current/next version: aform07.

This is a specialization course in formal methods. For a general description check out the handbook of studies. The course theme is intended to vary from year to year. This years version focuses on theorem proving. Earlier versions have focused on pi-calculus and derivates for security protocol analysis.