B Method presents the B method (language and semantic) and the methodology to use it on real projects. The B method is one of the well known, formal methods used in railway from 1998 and has been deployed on many projects. B method languageB method semanticMethodology applied on real projects