Automated Tools for Teaching Formal Software Verification
Ingo Feinerer, Gernot Salzer · Electronic workshops in computing · 2006
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.