Plan de site ActualitésContactDocuments dédiés aux Méthodes Formelles et à la Méthode BFormation à la méthode BFormation à la Méthode B – Niveau 1 : Comprendre BFormation à la Méthode B – Niveau 2 : Pratiquer BFormation à la Méthode B – Niveau 3 : Prouver BFormation Event-B (B événementiel)Mentions légalesOutil Atelier BAtelier B 4.7Enseignement de la Méthode BOutil pour la méthode formelle B permettant de développer des logiciels prouvés sans défautPlan de sitePolitique de confidentialitéPrésentation de la Méthode BLes différents langages BRaffinement automatiqueBibliographiePreuve formelleGénération de codeSupport et Maintenance Atelier BTélécharger l’Atelier BVersion – Atelier B 4.1.0Version – Atelier B 4.0.2Version – Atelier B 4.0Version – Atelier B 4.0 betaVersion – Atelier B 3.7.2Version – Atelier B 3.7.1Version – Atelier B 3.7Travaux R&D (Recherche & Développement)Travaux R&D