Explore les fondements de la vérification modulaire en utilisant la logique de séparation pour des programmes concomitants réalistes et discute des défis de l'état mutable partagé dans la concorde.
Introduit les fondamentaux des pointeurs en C++, couvrant les adresses de mémoire, les différences entre les références et les pointeurs, et l'arithmétique des pointeurs.
