Executable specification

An executable specification is a specification expressed in a form that can be executed to determine correctness.

In SimpleModeling, executable specifications are treated as living specifications shared by humans and AI.

They are not merely tests, but executable artifacts that define specification boundaries and judgment criteria.

Executable specifications support both verification and validation, and form the core of the triadic development style.