About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

Courses in Winter Term 2006/07  -  Interactive Theorem Proving

Course title:  Interactive Theorem Proving

Lecturer:  Dr. Posegga

Module:  IT, KRAI, SV

Status:  advanced unit

SWS (lecture/tutorial/practical):  4/1/1

Credit points:  9

Examination method:  written examination at the end of the term

Prerequisites:

• introductory Courses on Logic and Programming

Course description:

Introduction to HOL-specification and verification using PVS and ISABELLE

• Abstract Data Types, Systems and Models
• From Higher-Order Logic to Type Theory
• Methods and Calculi for Deduction
• Introduction to PVS and ISABELLE

Additional information:

• the course web page