Combiner la vérification déductive avec l'analyse de forme - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

Combiner la vérification déductive avec l'analyse de forme

Fichier principal
Vignette du fichier
AFADL_2024_paper_11.pdf (72.59 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04622131 , version 1 (24-06-2024)

Licence

Identifiants

  • HAL Id : hal-04622131 , version 1

Citer

Téo Bernier, Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue. Combiner la vérification déductive avec l'analyse de forme. Journées Approches Formelles pour l'Assistance au Développement de Logiciels (AFADL), Jun 2024, Strasbourg, France. ⟨hal-04622131⟩
0 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More