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.
The following software is used in this course (how to use the software):
- Java Modeling Language (JML) tools
- Use the stable release 5.5 from the archive (not the newer release candidates); also note that the JML tools need an installation of Java 1.4.2.
- Extended Static Checking for Java (ESC/Java 2)
- KeY Verification Environment