Forneça um exemplo de fórmula de verificação em um Caso de Uso.

A fórmula de verificação no Caso de Uso é uma condição que deve ser cumprida para que a etapa ou todo o cenário sejam bem-sucedidos.

Exemplo: no Caso de Uso "Realização de pedido", a fórmula de verificação pode ser assim:

Se o valor do pedido > 0 e a quantidade de produtos no carrinho > 0, então a transição para pagamento é permitida.

Ou na forma de expressão lógica:

(Soma_Pedido > 0) AND (Quantidade_Produtos > 0)

Isso ajuda a formalizar as regras de negócio e automatizar a validação na fase de análise de requisitos.