Un peu déçu qu'ils n'abordent pas les méthodes formelles et leur application pratique.

Un site de vulgarisation de la méthode formelle TLA+ : https://learntla.com/