There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
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.