Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Catégorie

Vérification formelle

Séances de cours associées (30)

Test basé sur la propriété: QuickChick Connectez-vous à Mediaspace pour regarder cette vidéo

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.

Interprétation abstraite et domaine Octagon Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les principes d'interprétation abstraite et le domaine Octagon, en mettant l'accent sur les compromis entre précision et efficacité et l'analyse statique des programmes.

Hoare Logic: Fondements et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre Hoare Logic, ses fondements, ses applications et son importance dans la vérification des programmes.

Systèmes d'intervalles de correction formels Connectez-vous à Mediaspace pour regarder cette vidéo

Se concentre sur la conception de systèmes intermittents officiellement corrects dans les systèmes sans batterie alimentés par intermittence, en abordant les défis et les stratégies pour assurer l'exactitude.

Architectures et logiciels fiables Connectez-vous à Mediaspace pour regarder cette vidéo

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 Connectez-vous à Mediaspace pour regarder cette vidéo

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.

Questions avancées de métaprogrammation: Volume de code et complexité Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les défis dans le volume de code, la complexité et la métaprogrammation des requêtes par rapport au code.

Questions avancées de métaprogrammation: Volume de code et complexité Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la gestion de grandes bases de code, niveaux d'abstraction plus élevés, codeDB, requêtes Datalog, et l'analyse de programme.

Gestion des erreurs dans LabVIEW Connectez-vous à Mediaspace pour regarder cette vidéo

Met l'accent sur la gestion des erreurs dans LabVIEW, l'analyse des fichiers sources et l'exécution de programmes avec Xcode.

Encodeur et décoder pour les codes sans préfixe Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la mise en œuvre et la vérification de l'encodeur et du décodeur pour les codes sans préfixe, y compris les classes et les types, les lemmas sur les arbres, et le théorème principal.