Unité d'enseignement ENSINCU17 :
« Vérification et sécurité »

Description

Crédits : 3
Semestre :  S3

Résumé :

Model Checking. Algorithmes de vérification. Modèles de sécurité. Vérification de programmes par analyse statique.

Apparaît dans les parcours