Formal Software Engineering project - B method