Links

Here is a list of site that have a link with JACK:

JML

Java

IDEs

Weakest precondition calculus

Provers

Other JACKs