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.