Vérification formelle basée maude du code C

dc.contributor.author	Benmicia, Houda
dc.contributor.author	Bettoum, Selsabil
dc.contributor.author	Boutekouk, Fateh
dc.date.accessioned	2022-11-15T01:12:28Z
dc.date.available	2022-11-15T01:12:28Z
dc.date.issued	2022
dc.description.abstract	Ce travail s'inscrit à l'axe de recherche général de la preuve formelle de la conformité d'un programme impératif écrit en C par rapport à sa spécification en se basant sur les capacités offertes par l'environnement Maude qui est un candidat idéal pour la spécification de système. Notre but est la génération automatique d'une spécification Maude à partir du code C. Cette transformation est faite par l'intermédiaire du graphe de flot de contrôle et de données qui est généré automatiquement à partir du code C. Ce dernier sera utilisé ensuite pour générer automatiquement un module système Maude. Plusieurs propriétés orientées contrôle et données peuvent être vérifiées en utilisant les outils offerts par Maude et en particulier le model checker.	ar
dc.identifier.uri	http://hdl.handle.net/123456789/14308
dc.language.iso	fr	ar
dc.publisher	Université Larbi Ben M'hidi Oum El Bouaghi	ar
dc.subject	Vérification formelle	ar
dc.subject	Exécution symbolique	ar
dc.subject	Maude	ar
dc.title	Vérification formelle basée maude du code C	ar
dc.type	Other	ar

Now showing 1 - 2 of 2

Now showing 1 - 1 of 1