This paper deals with the verification of the existing enterprise modelling standards. Our approach is based on the UML meta-modelling of enterprise standards in order to establish enterprise constructs and to use the formal B method to cover verification issues. Two points are discussed : the checking of the global consistency of the standard itself, and the verification of the instantiation of constructs to design particular enterprise models. This work is illustrated using the ENV12204/N177 particular enterprise constructs standard.