Bonjour, votre serveur vidéo a été mis à jour. Nous sommes en train de finaliser son optimisation. L'encodage de vos vidéos fonctionne (ne pas tenir compte du message d'erreur actuel à la fin de votre encodage).
Propriété du domaine borné pour la logique temporelle linéaire du premier ordre et applications à la vérification de systèmes à états infinis
21 mars 2023
CLAP-HiFi-LVP 2023 : Journées des GT CLAP, HiFi et LVP du GDR GPL du CNRS (Rencontres de la communauté française de compilation)
- Propriété du domaine borné pour la logique temporelle linéaire du premier ordre et applications à la vérification de systèmes à états infinis
Quentin PEYRAS (LRE)
Infos
- Gricad Vidéos
- 5 avril 2023 09:50
- Conférences
- Français
Commentaire(s)