Verification performed without any executable code is referred to as
Review
Sanity testing
Static testing
Validation