Couvre la logique de Hoare, la post-condition la plus forte et la condition préalable la plus faible pour simplifier les preuves dans la programmation impérative.
Explore les modèles de conception LabVIEW, couvrant les variables locales et globales, les conditions de course, les machines d'état et l'architecture producteur-consommateur.
L'analyse de sensibilité basée sur les variations pour les systèmes stochastiques couvre l'impact des paramètres d'incertitude et des indices de sensibilité dans les modèles stochastiques.
