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.
Domaines
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |