Bannière Recherche Recherche

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

Licence Creative Commons 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
00:23:44
Nombre de vues 20
Nombre d’ajouts dans une liste de lecture 0
Nombre de favoris 0

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

Commentaire(s)