Explore les tests basés sur des propriétés en utilisant QuickChick, en mettant l'accent sur l'exactitude des logiciels, les spécifications et le contrôle dynamique du flux d'information.
Couvre l'objectif, les étapes et les intervenants dans les examens de conception, en mettant l'accent sur l'importance de l'analyse et de la vérification des risques.
Couvre la conception de simples OTA en utilisant la méthodologie gm / ID et des paramètres clés tels que la transconductance et le produit à bande passante de gain.
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.
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.