model-checker : typo in NEWS file

[simgrid.git] / NEWS

diff --git a/NEWS b/NEWS
index 293db99..2c2a466 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -10,6 +10,9 @@ The "to be named" release. Major changes:
  * Java is back in the main package (and is very stable).
  * The storage sub-modules is now believed to be usable.
  * SMPI is now very stable (we pass most MPICH tests).
+ * Model-Checking : 
+    - Verification of liveness properties is now available for SMPI applications 
+    - New reduction of the state space based on the storage of visited states.
  Plus the usual load of bug fixes and small improvements
  
                     _               _____ ___
@@ -137,7 +140,7 @@ The "Winter in Frejus" release. Also known as "ANR/ADT funding helps"
 Major changes are:
 
  * New feature: Model check any simgrid simulation
- * SMPI: now considered stable
+ * SMPI is now very usable.
  * Visualization:
     - now covers the whole framework
     - major usability improvements