Auteur : Etienne Prun (Clearsy)

Titre : Système sûr, formalisation et preuve

Résumé : 

Nous aborderons quelques cas dangereux ainsi que le statut des normes. 
Puis nous ferons un tour d'horizon des différentes approches formelles.  
Enfin, nous regarderons plus particulièrement l'utilisation de la méthode formelle B.