Acronyme : «acronyme»


Répartition hebdomadaire ou semestrielle



Yüklə 3,14 Mb.
səhifə230/457
tarix07.01.2022
ölçüsü3,14 Mb.
#86982
1   ...   226   227   228   229   230   231   232   233   ...   457

Répartition hebdomadaire ou semestrielle


(CM: 2h00)(TD: 1h00)(TME: 0h00)

Contenu

Cette U.E. vise a introduire, au travers d'exemples, les techniques de base de l'analyse statique par interprétation abstraite.



Expérience du responsable dans le domaine de l’UE

Mes thèmes de recherche s'articulent autour de la définition de sémantiques formelles et de l'utilisation de ces sémantiques pour garantir (par la preuve) des propriétés de programmes, notamment dans le domaine de la sécurité (controle d'accès). L'analyse statique par interprétation abstraite s'inscrit dans ce thème puisque les techniques mises en oeuvre reposent sur la definition d'une sémantique abstraite prouvée correcte par rapport à la sémantique concrète.




Yüklə 3,14 Mb.

Dostları ilə paylaş:
1   ...   226   227   228   229   230   231   232   233   ...   457




Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©muhaz.org 2024
rəhbərliyinə müraciət

gir | qeydiyyatdan keç
    Ana səhifə


yükləyin