# Java PathFinder
[](https://travis-ci.org/javapathfinder/jpf-core)
-[](https://codecov.io/gh/jeandersonbc/jpf-core)
+[](https://codecov.io/gh/javapathfinder/jpf-core)
An extensible software model checking framework for Java bytecode programs