Propriété du domaine borné pour la logique temporelle linéaire du premier ordre et applications à la vérification de systèmes à états infinis

00:23:44
Nombre de vues 24
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