Actes des 22ème Journées des approches formelles dans l’assistance au développement de logiciels,AFADL'23 - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Proceedings Year : 2023

Proceedings of the 22nd Day of AFADL

Actes des 22ème Journées des approches formelles dans l’assistance au développement de logiciels,AFADL'23

Abstract

The AFADL days bring together academics and industrial researchers who are interested in the practical use of formal methods at all stages of the development of software or systems. In 2023, the days took place in Rennes from June 5th to June 8th in the same place of the annual days organized by GDR GPL.
Les journées AFADL ont pour objectif de rassembler de nombreux acteurs académiques et industriels intéressés par la mise en œuvre des techniques formelles aux divers stades du développement des logiciels et/ou des systèmes. En 2023, ces journées se sont tenues du 5 au 8 juin 2023 à Rennes de façon concomitante avec les journées du GDR GPL.
Fichier principal
Vignette du fichier
afadl2023.pdf (3.56 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-04179353 , version 1 (09-08-2023)
hal-04179353 , version 2 (01-09-2023)

Licence

Attribution

Identifiers

  • HAL Id : hal-04179353 , version 2

Cite

Natalia Kushik, Frédéric Mallet. Actes des 22ème Journées des approches formelles dans l’assistance au développement de logiciels,AFADL'23. pp.60, 2023, Journées AFADL. ⟨hal-04179353v2⟩
64 View
188 Download

Share

Gmail Facebook X LinkedIn More