JUnit

Installation instructions JUnit, and links to further information, can be found here.

Stateful Testing

To demonstrate and explore the theories behind property-based testing of stateful objects, we have implemented a simple framework based on the ideas described in this article by Claessen and Hughes.

Click here for more information on this framework.

Dafny

• Dafny installation instructions.
• (Official) Online browser version of the Dafny Verifier.
• (Unofficial) Online browser version of the Dafny Verifier.
• Dafny tutorial: PDF or interactive online verison.
• Dafny FAQ for this course. Contains some useful information relevant to this course, including some differences between Dafny and Java.
• The Dafny project page. Lots of information and links.
• Dafny Quick Reference.
• Reference manual describing the types in Dafny.