Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux

Type de document

COMMUNICATION AVEC ACTES INTERNATIONAL (ACTI)

Langue

anglais

Auteur

COLIN ; PETIT ; ROCHETEAU ; MARCANO ; MARIANO ; POIRRIEZ

Résumé / Abstract

The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on the formalism itself or on its possible extensions. This article presents an open-source platform, with a focus on the platform's core component, the BCaml project. The tools presented here are used to show how very different approaches can be brought together around a central design to form a consistent toolbox, and can be used to develop safe systems, from their specifications to their validation and the generation of safe code.

Editeur

IEEE Computer Society Press