Explore la mise en oeuvre d'un interprète abstrait octagonique pour les programmes C, couvrant l'interprétation abstraite, les contraintes octogonales, les fermetures, les pointeurs et l'analyseur FrontC.
Couvre les calculs de structure électronique utilisant la mécanique quantique et introduit des concepts fondamentaux en chimie quantique computationnelle.