Verification of Functional Programs

Semester 2014-1

This page will be continuously updated during the course!

Course information

Lecturer

Andrés Sicard Ramírez <asr(at)eafit(dot)edu(dot)co>

Lectures

Wednesdays 16:00–17:00 in room 38-524
Discussion board

Course Material

Slides

Subject	Slides
Introduction	[ pdf ]
Preliminary Concepts	[ pdf ]
Induction	[ pdf ]
Co-Induction	[ pdf ]
Tools	[ pdf ]

Other slides

Graham Hutton (2007). Programming in Haskell. Cambridge University Press. Slides for chapter 12
Sophia Drossopoulou. Zeno. A theorem prover for inductively defined properties (IFIP WG2.1, 2011) [ pdf ]

Code

strictly-positive-types.tgz, co-induction.tgz and zeno-examples.tgz