POD - Propriété Du Domaine Borné Pour La Logique T…

Prendre des notes

Il n’y a pas de note disponible pour vous pour cette vidéo.

Connectez-vous pour en créer une nouvelle.

Disciplines

Types

Mots clés

perform 304 fle 291 sciences 291 techniques 290 filipé 284 fos 282 cpp 180 lig 170 mathematiques 163 gricad 162 soutenance 151 prepa inp 145 prepa des inp 139 thèse 135 mooc 121 innovation 116 recherche 96 sante 95 pedagogie 91 2a 87

Bonjour, une intervention sur POD aura lieu ce lundi 20 Janvier de 13h à 14h.

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)

Mots clés : applications borne clap cnrs domaine etats gpl hifi infinis lineaire logique lre lvp ordre peyras premier propriete quentin systemes temporelle verification

Ajouté par : Gricad Vidéos
Mis à jour le : 5 avril 2023 09:50
Chaîne :
- Recherche
Type : Conférences
Langue principale : Français
Discipline(s) :
- Informatique, Mathématiques, Sciences et technologies de l'information et de la communication

Réseaux sociaux

Commentaire(s)