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 à la Méthode B – Niveau 4 : Raffiner automatiquement BFormation à la Méthode B – Niveau Manager Responsable Technique : Découvrir 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
