The course use a number of tools for the various modules. On this page, we collect some useful links to documentation and tutorials. Please feel free to email suggestions of additions to the teachers if you find some particularly nice online material!

Java Language and Development Tools

Java Testing Tools

JUnit user guide
A JUnit/Eclipse tutorial (note - refers to an older version of JUnit, but should be largely OK also for JUnit 5/Jupiter): How to use JUnit in Eclipse.pdf

Java Debugging Tools

A tutorial for the Eclipse debugger (slightly old but largely still adequate).
The jdb Java debugger.

Dafny

Official online browser version of the Dafny verifier. (Not available anymore)
Installation instructions (Visual studio version recommended).
Dafny GitHub repository
Local (Chalmers) browser version of the Dafny verifier. (Note: probably runs an older version of Dafny - use carefully as backup only)
Official interactive Dafny tutorial. (Not available anymore)
Testing, Debugging & Verification Dafny troubleshooting guide: dafny_troubleshooting.pdf