Differences

This shows you the differences between two versions of the page.

--- jpf:start [2007/11/23 14:06] – franck
+++ jpf:start [2008/01/21 20:37] (current) – franck
@@ Line 6: / Line 6: @@
 More information can be found
 [[http://www.cse.yorku.ca/~sergey/jpf/|here]].
+Although it describes an old version of JPF,
+[[http://www.havelund.com/Publications/jpf-manual.ps|this]]
+manual may be useful.
 To configure JPF, you may want to use a
@@ Line 23: / Line 27: @@
 To check some properties of our solution to the
 readers-writers problem by means of JPF, we
-modified our solution as follows.
+modified our solution as follows (the attribute writers
+and assertions have been added).
 <code java>