README.md

   1                           Java PathFinder README
   2                           ======================
   3
   4 ========General Information about JPF ===================
   5
   6 All the latest developments, changes, documentation can
   7 be found at:
   8
   9 http://babelfish.arc.nasa.gov/trac/jpf/wiki
  10
  11
  12 ========Building and Installing =========================
  13
  14 If you are having problems installing and running JPF
  15 please look at the documentation on the wiki at:
  16
  17 http://babelfish.arc.nasa.gov/trac/jpf/wiki/install/start
  18
  19 A lot of the commonly problems during the install and build
  20 process have been documented on the wiki. Please make sure
  21 that the the issue you are running into is not addressed
  22 there; if is not then feel free to contact us at
  23 java-pathfinder@googlegroups.com
  24
  25
  26 ======Documentation======================================
  27
  28 There is a constant effort to update and add JPF
  29 documentation on the wiki. If you would like to contribute
  30 in that, please contact us at
  31 java-pathfinder@googlegroups.com
  32
  33
  34
  35 Happy Verification
  36 -- the Java PathFinder team