Verification ASAMI, Tomoharu Term verification Aliases - Definition Verification is the activity of confirming that an implementation conforms to its specified design or requirements. SimpleModeling In SimpleModeling, verification focuses on bottom-up confirmation that components and classes conform to their design specifications. Executable specifications are used to fix API usage, preconditions, return values, and error conditions in an executable form.