https://123dok.net/document/y4g3n10y-vérification-checking-programmes-concurrents-paramétrés-modèles-mémoires-faibles.html