• Département : Logiciels et Réseaux
• Coordonnateur : Jean-Luc RAFFY
• Téléphone : 01 60 76 44 28
• Mail : Jean-luc.Raffy@int-evry.fr
• Pièce : A 201.01

Objectifs :

• Apporter les concepts nécessaires au développement formel de logiciels de sécurité

Programme :

• Introduction
• Logique
• Rappels mathématiques
• Substitutions généralisées
• Machines abstraites
• Obligations de preuves
• Raffinement
• Etude de cas

Organisation pédagogique :

• Total cours + contrôle : 21 h
• 10 vacations de cours de 1h30
• 4 vacations de bureau d'études de 1h30 (dont 2 notés)

Documentation ou bibliographie :

• "Photocopies des transparents", JL. RAFFY
• "The B. book", JR ABRIAL