From fe7c6f0387242e24e27165774475f3b3994b6c1a Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Fri, 30 Apr 2021 17:46:33 +0200
Subject: [PATCH] Tuto MC: Add a word about the missing pieces

---
 docs/source/Tutorial_Model-checking.rst | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/docs/source/Tutorial_Model-checking.rst b/docs/source/Tutorial_Model-checking.rst
index eac4ba0348..6899c5e47c 100644
--- a/docs/source/Tutorial_Model-checking.rst
+++ b/docs/source/Tutorial_Model-checking.rst
@@ -295,6 +295,16 @@ If you want to run such analysis on your own code, out of the provided docker, t
   issue, you should either update your settings (the security issue was solved in later versions of Linux), or add ``--cap-add
   SYS_PTRACE`` to the docker parameters, as hinted by the text.
 
+Going further
+-------------
+
+This tutorial is not complete yet, as there is nothing on reduction
+techniques nor on liveness properties. For now, the best source of
+information on these topics is `this old tutorial
+<https://simgrid.org/tutorials/simgrid-mc-101.pdf>`_ and `that old
+presentation
+<http://people.irisa.fr/Martin.Quinson/blog/2018/0123/McSimGrid-Boston.pdf>`_.
+
 .. |br| raw:: html
 
    <br />
-- 
2.20.1