The B Method, invented by Jean Raymond
ABRIAL, is a formal method with proof and refinements, used for:

This method is used industrially
in the railway sector. It is broadly distributed and recognized in the academic
world.

Clearsy develops the method in
collaboration with industry, research centers and Jean Raymond ABRIAL.