Fondations algorithmiques pour la certification des systèmes

Cette séance de cours de l'instructeur de Max Planck Institute for Software Systems se concentre sur les défis de la conception de systèmes avec des composants indignes de confiance. Il traite de sujets tels que la vérification, le contrôle et l'interaction dans les systèmes comportant des éléments peu fiables. La séance de cours s'inscrit dans les concepts de vérification limitée, d'analyse limitée par k-contexte et de nature décidable de certains problèmes de vérification. Il explore également l'utilisation de diagrammes de décision binaires pour des procédures de vérification efficaces. De plus, il traite de l'intersection de la géométrie, de la concordance et de la dynamique dans la programmation, soulignant l'importance de la rétroaction et de la robustesse dans les systèmes cyberphysiques.