Initial commit

diff --git a/README.md b/README.md
new file mode 100644 (file)
index 0000000..47ebe4a
--- /dev/null
+++ b/README.md
@@ -0,0 +1,2 @@
+# jpf-core
+This is the basis for all JPF projects, i.e. you always need to install it. jpf-core contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.