Verificationtoolforbehaviortreetheorymodel