INF 420 Conceptions Formelles (CF) 6 ECTS Parcours : GL Semestre : S2 Responsables : Alain Griffault et Pierre Castéran Pré-requis : Objectifs : La conception de sytèmes et de logiciels peut être rendue beaucoup plus fiable par l'utilisation de méthodes formelles. Le cours est une approche pragmatique de la conception formelle à partir d'études de cas, et de deux techniques éprouvées : le raffinement et la vérification de modèles. Programme : - Le langage AltaRica. - Le mu-calcul sans alternance. - La vérification de modèles finis. - Le langage B. - Abstractions et raffinements. - Méthodologies de conception assistée par les méthodes formelles. - Études de cas avce l'atelier B et les outils AltaRica. Contrôle des connaissances : - examen écrit de 3h00 (2/3), - controle continu (1/3)