Links
Here is a list of site that have a link with JACK:
JML
The
JML home page
where you will find many information concerning JML, its semantics and the different tools around it.
Java
semantic
JavaCard
j2me
IDEs
eclipse
JBuilder
Weakest precondition calculus
Provers
B
Simplify
haRVey
Coq
PVS
Phox
Other JACKs
Just Another Cuncurrency Kit
Another CD ripper
Audio Connection Kit