BCS is a registered charity: No 292786
Teaching Formal Methods: Practice and Experience
BCS London Office, UK, 15 December 2006
Ingo Feinerer & Gernot Salzer
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.