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 BPrésentationDocumentation En LigneOutil 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 BEnseignement de la Méthode BBibliographiePreuve formelleRaffinement automatiqueGé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
