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

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Qu’est-ce que la vérification formelle?

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (43)

Sans titre Connectez-vous à Mediaspace pour regarder cette vidéo

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.

Qualité des logiciels: Gestion des défauts et des stratégies d'essai Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la gestion des défauts, des stratégies d'essai et des défis en matière de qualité des logiciels, avec des exemples du monde réel et des études de cas.

Transients hydrauliques des turbines: modélisation hydroacoustique Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la modélisation, la stabilité et le développement historique des turbines hydrauliques, en mettant l'accent sur les critères de sélection des turbines Francis.

Formes harmoniques et surfaces de Riemann Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les formes harmoniques sur les surfaces de Riemann, couvrant l'unicité des solutions et l'identité bilinéaire de Riemann.

Abstraction de données : modules et spécifications dans Coq Connectez-vous à Mediaspace pour regarder cette vidéo

Discute de l'abstraction des données dans la programmation, en se concentrant sur les modules et les spécifications dans Coq.

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.

Intégration complexe et théorème de Cauchy Connectez-vous à Mediaspace pour regarder cette vidéo

Discute de l'intégration complexe et du théorème de Cauchy, en se concentrant sur les intégrales le long des courbes dans le plan complexe.

Machines à états finis (FSM)Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les machines d'état fini (FSM) dans la conception de systèmes numériques, couvrant les FSM Mealy et Moore, les diagrammes d'état, l'implémentation VHDL et l'encodage d'état.

Introduction aux scripts de preuve: bases de Ltac Connectez-vous à Mediaspace pour regarder cette vidéo

Présente les bases du script de preuve en Coq, en se concentrant sur le langage Ltac et ses tactiques pour gérer efficacement les preuves.

Analyse complexe : série Laurent et théorème des résidus Connectez-vous à Mediaspace pour regarder cette vidéo

Discute de la série Laurent et du théorème des résidus dans l'analyse complexe, en se concentrant sur les singularités et leurs applications dans l'évaluation des intégrales complexes.

Transformée de Fourier : Méthode des résidus Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le calcul des transformées de Fourier en utilisant la méthode des résidus et les applications dans divers scénarios.

Propositions inductives : comprendre l’évaluation dans Coq Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les propositions inductives en Coq, en se concentrant sur les règles dévaluation pour les expressions arithmétiques et leurs applications dans la définition des fonctions partielles et non déterministes.

Créativité et Design Thinking : Empathie, Idéation et Implémentation Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'empathie, l'idéation et la mise en œuvre dans la créativité et le design thinking, en mettant l'accent sur les besoins des utilisateurs et la génération d'idées innovantes.

Théorème de Green en 2D : applications Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les applications du Théorème de Green en 2D, soulignant l'importance des domaines réguliers pour une intégration réussie.

Analyse complexe: Série Taylor Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la série Taylor en analyse complexe, mettant l'accent sur le comportement autour de points singuliers.

Théorèmes d'analyse complexe Résumé Connectez-vous à Mediaspace pour regarder cette vidéo

Résume l'utilisation de théorèmes d'analyse complexes pour différents scénarios et met l'accent sur l'évaluation précise et la prise de décision.

Transformée de Fourier : concepts et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la transformée de Fourier, ses propriétés et ses applications dans le traitement du signal et les équations différentielles, démontrant son importance dans l'analyse mathématique.

Analyse complexe: Théorie des domaines Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la théorie des domaines dans l'analyse complexe, en mettant l'accent sur les domaines réguliers et orientés.

Collisions élastiques et inélastiques : énergie cinétique et travail Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les collisions élastiques et inélastiques, la conservation cinétique de l'énergie et les principes de travail avec des exemples pratiques.

Page 2 sur 3