Spécification et vérification formelles

Ce cours vous présentera la méthode B comme une méthode formelle pour la spécification et la vérification formelles pour développer des logiciels surs.

Vous pouvez suivre ce même cours en audio-vidéo en accédant à la plateforme Open edX de MOOC en cliquant sur le lien https://univ-msila.tahoe.appsembler.com/.