X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/85bb22d801a4413fd0b2298a139b6207ad1ce1c5..5edec65e26d76490b9753d8db950a8a2ddf3cb2c:/docs/source/index.rst?ds=sidebyside

diff --git a/docs/source/index.rst b/docs/source/index.rst
index 4d20670901..38445ad0c3 100644
--- a/docs/source/index.rst
+++ b/docs/source/index.rst
@@ -5,9 +5,9 @@
 The Modern Age of Computer Systems Simulation
 =============================================
 
-SimGrid is a framework to simulate distributed computer systems. It can be used
-to either :ref:`assess abstract algorithms <usecase_simalgo>` or to
-:ref:`debug and profile real MPI applications <usecase_smpi>`.
+SimGrid is a framework to simulate distributed computer systems. It can be used to either :ref:`assess the performance of
+abstract algorithms <usecase_simalgo>`, to :ref:`debug and profile real MPI applications <usecase_smpi>`. To some extend, it can
+also be used to :ref:`formally assess the correctness of simple algorithms and applications <usecase_modelchecking>`.
 
 SimGrid is routinely used in studies on (data-)Grids,
 IaaS Clouds (:ref:`API <API_s4u_VirtualMachine>`, :ref:`examples <s4u_ex_clouds>`),
@@ -22,7 +22,7 @@ The simulation models are **fast** (`🖹 <http://hal.inria.fr/hal-00650233>`__)
 **highly scalable** (`🖹 <http://hal.inria.fr/inria-00602216/>`__) while
 **theoretically sound and experimentally assessed** (`🖹 <http://doi.acm.org/10.1145/2517448>`__).
 Most of the time, SimGrid is used to predict the performance (time and energy) of a
-given IT infrastructure, and it includes a prototype model checker to formally
+given IT infrastructure, and it includes a prototypical model checker to formally
 assess these systems.
 
 Technically speaking, SimGrid is a library. It is neither a graphical
@@ -59,6 +59,7 @@ of every page. Bugs in the code should be reported
 	Simulating distributed algorithms <Tutorial_Algorithms.rst>
 	Simulating MPI applications <Tutorial_MPI_Applications.rst>
 	Model-checking algorithms <Tutorial_Model-checking.rst>
+   Simulating DAG <Tutorial_DAG.rst>
 
 .. toctree::
    :hidden:
@@ -72,6 +73,7 @@ of every page. Bugs in the code should be reported
          Release Notes <Release_Notes.rst>
       Describing your application <application.rst>
          The S4U interface <app_s4u.rst>
+         S4U examples <Examples.rst>
          The SMPI interface <app_smpi.rst>
          The XBT toolbox <The_XBT_toolbox.rst>
       Describing the simulated platform <Platform.rst>
@@ -94,7 +96,7 @@ of every page. Bugs in the code should be reported
    :caption: SimGrid's Internals:
 
       Design goals <Design_goals.rst>
-      Developer's documentation <Developers_Documentation.rst>
+      Contributor's documentation <Contributors_Documentation.rst>
 
 .. Cheat Sheet on the sublevels
 ..