Couvre le processus de débogage des microcontrôleurs, mettant l'accent sur la structuration du code et la vérification de l'état du signal à l'aide d'outils comme les sondes logiques et les oscilloscopes.
Couvre la programmation assistée par solveur, intégrant les résolveurs SMT pour la vérification, la synthèse et le débogage des programmes, ainsi que les défis dans la construction d'outils assistés par solveur.
