Couvre les directives de mini-test et le concept de moment d'inertie pour diverses formes, y compris des démonstrations pratiques sur les forces gyroscopiques.
Explore les techniques de test logiciel avancées, y compris les tests basés sur les propriétés, pour assurer l'exactitude du code et améliorer la qualité du logiciel.
Couvre la conception, la mise en œuvre et la vérification formelle des systèmes distribués, en se concentrant sur les systèmes et organisations distribués vérifiables.
Explore les défauts, les erreurs et les modèles de défauts dans les systèmes VLSI, en mettant l'accent sur l'effondrement des défauts et la domination.
Explore des techniques de test logiciel avancées, y compris les tests basés sur les propriétés et diverses formes de fuzzing, pour tester efficacement des systèmes complexes.
Couvre la génération de modèles vectoriels de test, la modélisation des défauts, les tests structurels et fonctionnels et la mise en œuvre de l'expansion dans le temps.
