Teaching Formal Methods: Practice and Experience

BCS London Office, UK, 15 December 2006

AUTHORS

Ingo Feinerer & Gernot Salzer

ABSTRACT

We present the status of formal methods at our university, and describe our course on formal software verification in more detail.

We report our experiences in using Perfect Developer for the course assignments.

PAPER FORMATS

PDF Version of this Paper (44kb)