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

March 21, 2023
00:23:44
Number of views 20
Addition in a playlist 0
Number of favorites 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)

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

Comment(s)