The B method is a method of software development based on B, a tool-supported formal method based on an abstract machine notation, used in the development of computer software. Wikipedia