RISC » FormalMethods05 » Forums » Discussion Forum » JML and Java 1.5
Search 
 
JML and Java 1.5
by Wolfgang Schreiner - Wednesday, March 23 2005, 12:43 PM
  Dear Klaus, thank you for your feedback.

1. Please post in English, not all course participants understand German.

2. The use of the "News forum" is restricted in that only I can create a new thread. I have now created an additional "Discussions forum" which is open for everyone. You may use this for general discussions from now on.

3. You are right, JML only works with Java 1.4 (1.4.2 is the current version). This is stated on the JML download page but I forgot to mention it and did not refer to this page directly. The same will be true for ESC/Java2 (I expect). I will put some extra information on the "Software" pages.

Regards, Wolfgang
Reply