COSC6490A

User Tools

Site Tools

You are here: Concurrent Object Oriented Languages » Java PathFinder
Trace:
jpf:start

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
jpf:start [2007/11/23 14:08] – franckjpf:start [2008/01/21 20:37] (current) – franck
Line 6: Line 6:
 More information can be found More information can be found
 [[http://www.cse.yorku.ca/~sergey/jpf/|here]]. [[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  To configure JPF, you may want to use a 
jpf/start.1195826883.txt.gz · Last modified: by franck