Blocked Course, University of Debrecen, October 2015.
This course gives an overview on tools and techniques for formally specifying, checking and verifying Java programs.
Since the exercises will be submitted via Moodle, you also have to login in Moodle
and enroll as a participant of this course. You will then also receive per
email all messages posted in the News forum and may yourself
post messages in the Questions and Answers forum.