B METHOD
FOR DEFECT FREE SOFTWARES

SEE MORE +

WHAT IS B METHOD?


B is a formal specification method which, thanks to an adequate language, allows for highly accurate expressions of the properties required by specifications.

SEE MORE +

B METHOD - FOR RELIABLE SOFTWARES


B is a formal specification method which, thanks to an adequate language, allows for highly accurate expressions of the properties required by specifications. One can then prove in a fully automated fashionthat these properties are unambiguous, coherent and are not contradictory. This then allows us to mathematically prove that these properties are taken into account as the design stages progress.

SEE MORE +
pictos-16

OUR B METHOD MEETINGS


> ABZ 2014
> Le 28 Avril 2014 À L’INSTITUT HENRI POINCARÉ : MÉTHODES FORMELLES ET LANGAGES POUR LE DÉVELOPPEMENT DE LOGICIELS FIABLES DANS L’INDUSTRIE
> ABZ 2014 – TOULOUSE du 2 au 25 Juin
> ERTS 2014
> SÉMINAIRE INRIA “INGÉNIERIE DES MODÈLES“