Communication Dans Un Congrès Année : 2025

Langage de spécification de contexte pour vérifier formellement des propriétés de consentement sur des modèles et du code -Résumé long

Résumé

Cette soumission présente l'article Context Specification Language for Formally Verifying Consent Properties on Models and Code qui a été publié à la conférence Tests and Proofs en 2023 [5]. Il porte sur la définition d'un langage formel, la formalisation de propriétés liées au consentement et à l'implémentation d'un outil de vérification formelle. Cet outil peut être utilisé soit pour vérifier une modélisation d'un système, soit pour vérifier le code correspondant à son implémentation. * Les vues, opinions et positions exprimées dans cet article sont celles de l'auteur et non de l'institution à laquelle il appartient. Ce travail a été réalisé en grande partie pendant que l'auteur était au CEA List.

Fichier principal
Vignette du fichier
afadl-2025.pdf (120.67 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05133511 , version 1 (27-06-2025)

Licence

Identifiants

  • HAL Id : hal-05133511 , version 1

Citer

Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles. Langage de spécification de contexte pour vérifier formellement des propriétés de consentement sur des modèles et du code -Résumé long. Journées Approches Formelles pour l'Assistance au Développement de Logiciels (AFADL), Jun 2025, Pau, France. ⟨hal-05133511⟩
85 Consultations
53 Téléchargements

Partager

  • More