diff --git a/INSTALL b/INSTALL
index 6e50f22..c497b93 100644
--- a/INSTALL
+++ b/INSTALL
@@ -2,18 +2,18 @@ PNMC INSTALLATION
 
 # Requirements
 
-  * C++ compiler
+  * C++11 compiler
     - clang >= 3.3
-    - gcc >= 4.8
+    - gcc >= 4.9
     - Other compilers might work, as long as they implement the C++11 standard
 
   * Libraries
     - libsdd (https://github.com/ahamez/libsdd)
-    - Boost >= 1.55
-    - cereal >= 0.9.1 (http://uscilab.github.io/cereal)
+    - Boost >= 1.55 (http://www.boost.org)
+    - cereal >= 1.0.0 (http://uscilab.github.io/cereal)
 
   * Tools
-    - cmake >= 2.8.10
+    - cmake >= 2.8.9
 
 # Compilation
 
@@ -26,6 +26,4 @@ PNMC INSTALLATION
   * Available cmake variables to configure paths
     - CMAKE_INSTALL_PREFIX=/path/to/install
     - BOOST_ROOT=/path/to/boost
-
-  * Setting the compiler
-    - CXX=/path/to/bin/compiler cmake ...
+    - CMAKE_CXX_COMPILER=/path/to/bin/compiler
diff --git a/README b/README
new file mode 100644
index 0000000..b97aa4b
--- /dev/null
+++ b/README
@@ -0,0 +1,14 @@
+pnmc
+====
+
+Pnmc is a small prototype of a symbolic model checker for Petri nets written in C++. It uses the libsdd library 
+(https://github.com/ahamez/libsdd) which implements Hierarchical Set Decision Diagrams.
+
+The goal of pnmc is mainly to assess the performances of the libsdd, both in term of algorithms and efficient memory
+usage. As such, it mainly focus on state space generation and can only computes the dead states of a Petri nets. 
+Reachabilty properties are planned in the future
+
+Installation
+============
+
+Instructions to compile and install pnmc are given in the INSTALL file.