Combiner la vérification déductive avec l'analyse de forme - Archive ouverte HAL Access content directly
Conference Papers Year : 2024

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

Domains

Computer Science [cs]
Fichier principal
Vignette du fichier
AFADL_2024_paper_11.pdf (72.59 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Frédéric Loulergue  : Connect in order to contact the contributor

https://hal.science/hal-04622131

Submitted on : Monday, June 24, 2024-2:18:51 PM

Last modification on : Saturday, June 29, 2024-3:18:31 AM

Download

Dates and versions

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

Licence

Attribution

Identifiers

  • HAL Id : hal-04622131 , version 1

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ORLEANS INSA-GROUPE INSA-CVL ANR
8 View
4 Download

Share

Gmail Mastodon Facebook X LinkedIn More