The functional model allows the verification of some or all functions of a product.