POD - Research - CLAP-Hi-Fi-LVP 2023 : Rencontres de la communauté française de compilation - Propriété Du Domaine Borné Pour La Logique T…

Take Note

There is no note available for you for this video.

Log in to create a new one.

Disciplines

Types

Tags

perform 302 fle 292 sciences 290 techniques 290 filipé 284 fos 282 gricad 203 dsim 189 lig 159 soutenance 151 mathematiques 147 cpp 137 thèse 137 prepa inp 134 prepa des inp 133 uga 120 intercomprehension 114 mooc 103 cinema 102 romanofonia 101

Research

Laboratoires.Ecoles, Collège et Formation doctorales

Stratégie. Séminaires, colloques. Sciences et société

Réseaux et pôles d'excellence. Investissements d'avenir (Labex)

CLAP-Hi-Fi-LVP 2023 : Rencontres de la communauté française de compilation

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)

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

Added by: Gricad Vidéos
Updated on: April 5, 2023, 9:50 a.m.
Channel:
- Research
Type: Conferences
Main language: French
Discipline(s):
- Informatique, Mathématiques, Sciences et technologies de l'information et de la communication

Social Networks

Comment(s)