Volumes horaires
- CM 13.5
- TD 13.5
- TP 6.0
Crédits ECTS
Crédits ECTS 2.5
Objectif(s)
Ce cours est une introduction aux fondements de la sémantique et l’analyse de programmes. Il offre les bases sur lesquelles s’appuyer pour spécifier et développer des applications sûres, construire et se servir d’outils d’analyse et de vérification.
Contact Marie-Laure POTETContenu(s)
- Sémantique opérationnelle des langages de programmation.
- Calcul de plus faible précondition et preuve de programmes.
- Analyse de flot de données.
- Analyse statique et interprétation abstraite.
- Applications à la compilation, à la sûreté et à la sécurité des logiciels.
- Travaux pratiques à l'aide de 2 outils industriels.
Prérequis
Ce cours fait suite aux cours de programmation et de théorie des langages de première année.
Contrôle des connaissances
CONTRÔLE CONTINU :
Type d'évaluation (ex : TP, assiduité, participation) :
SESSION NORMALE :
Type d'examen (écrit, oral, examen sur machine) : écrit
Salle spécifique :
Durée : 2h
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) :
Documents interdits (ex : livres, tous documents) :
Matériel (ex : calculatrices):
- matériel autorisé, préciser :
- matériel interdit, préciser :
Commentaires :
SESSION DE RATTRAPAGE :
Type d'examen (écrit, oral, examen sur machine) : écrit
Salle spécifique :
Durée : 2h
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) :
Documents interdits (ex : livres, tous documents) :
Matériel (ex : calculatrices):
- matériel autorisé, préciser :
- matériel interdit, préciser :
Commentaires : un examen écrit de 2h (remplace la note de session 1)
Informations complémentaires
Cursus ingénieur->Filière ISI->Semestre 4
Equipe->Programmation-logiciel