მოყევით გამოყენების შემთხვევაში შემოწმების ფორმულის მაგალითი.

Use Case-ში შემოწმების ფორმულა არის პირობა, რომელიც უნდა შესრულდეს, რათა ნაბიჯი ან მთელი სცენარი წარმატებით გაიაროს.

მაგალითად: "შეკვეთის განთავსება" Use Case-ში შემოწმების ფორმულა შეიძლება იყოს ასე:

თუ შეკვეთის ჯამი > 0 და კალათაში არსებული პროდუქციის რაოდენობა > 0, გადახდის გაგრძელება ნებადართულია.

ან ლოგიკური გამოთქმის სახით:

(შეკვეთის_ჯამი > 0) და (პროდუქტების_სხეული > 0)

ეს ეხმარება ბიზნეს წესების ფორმალიზაციას და მოთხოვნების ანალიზის ეტაპზე ვალიდაციის ავტომატიზაციას.