Se concentre sur l'utilisation d'Inox pour la vérification des programmes, en démontrant le processus de vérification des programmes et en assurant l'exactitude.
Explore l'analyse automatisée de terminaison à l'aide de paires de dépendances, couvrant les techniques classiques et modernes, les concours annuels et des outils comme AProVE.
Couvre les bases de travail avec des chaînes en C, y compris la lecture, la copie, la comparaison et la conversion des chaînes, ainsi que des exemples et des quiz.
