Couvre la structure du cours de construction mécanique, l'organisation du projet et les éléments essentiels de la machine, en mettant l'accent sur le travail d'équipe et les applications pratiques en ingénierie.
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 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.
Introduit la vérification formelle et ses avantages par rapport aux méthodes de test traditionnelles, en discutant de la démonstration automatique des théorèmes et en compilant les déclarations d'exactitude dans des conditions de vérification.
Explore la méthodologie des éléments finis, couvrant la modélisation géométrique, les données techniques, les hypothèses de comportement physique et les études de convergence des maillages.
