+- Also install ``libboost-stacktrace-dev`` to display nice backtraces from the application side (the one from the model-checking side is
+ available in any case, but it contains less details).
+- Mc SimGrid uses the ``ptrace`` system call to spy on the verified application. Some versions of Docker forbid the use of this call by
+ default for security reason (it could be used to escape the docker containment with older versions of Linux). If you encounter this
+ 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 />