Presentation of the B Method
Jean‐Louis Boulanger · 2014
A complete course on the B method is beyond the scope of the current chapter; however, have been able to present the basic principles of this formal method. A formal method is based on a syntax, a semantics and a verification method. The B method is a formal programming method that aims to specify and produce software safely. One of the significances of the B method is that it offers a homogeneous notation for the specification and the design of a software application. For the B method, the verification principle is the proof. The crucial difference between the B method and the classical development lies in the fact that with formal methods the program is correct by construction. The test thus becomes an “obsolete” activity, which is good news given the cost of testing.