README.md

   1 # Java PathFinder
   2 [![Build Status](https://travis-ci.org/javapathfinder/jpf-core.svg?branch=master)](https://travis-ci.org/javapathfinder/jpf-core)
   3 [![codecov](https://codecov.io/gh/javapathfinder/jpf-core/branch/master/graph/badge.svg)](https://codecov.io/gh/javapathfinder/jpf-core)
   4
   5 An extensible software model checking framework for Java bytecode programs
   6
   7 ## General Information about JPF
   8
   9 All the latest developments, changes, documentation can be found on our
  10 [wiki](https://github.com/javapathfinder/jpf-core/wiki) page.
  11
  12 ## Building and Installing
  13
  14 If you are having problems installing and running JPF, please look at the [How
  15 to install
  16 JPF](https://github.com/javapathfinder/jpf-core/wiki/How-to-install-JPF) guide.
  17
  18
  19 We have documented on the wiki a lot of common problems during the install and
  20 build processes reported by users.  If you are facing any issue, please, make
  21 sure that we have not addressed it in documentation. Otherwise, feel free to
  22 contact us at java-pathfinder@googlegroups.com or open an issue on the Issue
  23 Tracker.
  24
  25 ## Documentation
  26
  27 There is a constant effort to update and add JPF documentation on the wiki.
  28 If you would like to contribute in that, please, contact us at
  29 java-pathfinder@googlegroups.com.
  30
  31 Contributions are welcomed and we encourage you to get involved with the
  32 community.
  33
  34 Happy Verification
  35 *-- the Java PathFinder team*