Concept
Runtime verification
Séances de cours associées (27)
Architectures et logiciels fiables
Explore les architectures fiables, la détection des erreurs, les structures tolérantes aux pannes et la fiabilité des logiciels à travers des exemples tels que la défaillance du missile Patriot et le double contrôleur ABB.
Sous-graphe le plus sparsest: Sous-graphe le plus Densest
Couvre le sous-graphe le plus sparsest et le sous-graphe le plus Densest, en mettant l'accent sur les algorithmes de regroupement et d'approximation de corrélation.
Éviter la capture variable
Explore la capture de variables dans les fonctions d'ordre supérieur et l'importance du renommage des variables.
Invariants dans le compteur lié: comprendre les invariants inductifs
Explore les invariants dans un système de compteur borné et l'importance des invariants inductifs dans la vérification des propriétés du système.
Introduction à l'élimination des quantificateurs pour l'arithmétique de Presbourg
Introduit une méthodologie de vérification formelle et l'arithmétique de Presburger pour la vérification de programme et le raisonnement automatisé.
Bellman Ford : les chemins les plus courts
Introduit l'algorithme de Bellman-Ford pour trouver les chemins les plus courts dans les graphes dirigés avec des poids de bord.
Algorithmes : examen final
Fournit un examen détaillé de l'examen final 2016, couvrant divers problèmes algorithmiques.
Algorithmes graphiques : DFS, tri topologique, SCC
Explore DFS, Topological Sort, SCC dans des graphiques et présente Flow Networks avec des exemples pratiques.
Méthodes basées sur Martingale pour les systèmes stochastiques
Explore les martingales dans les systèmes stochastiques, en mettant l'accent sur l'analyse formelle, l'analyse des terminaisons et la vérification de la stabilité.
Sécurité des logiciels : Tests de sécurité - Sanitizers
Explore l'utilisation de désinfectants dans les tests de sécurité logicielle pour détecter les bogues tôt et améliorer l'efficacité des tests.