Verification?

1. static, verifying, document, design ,code.
2. does not involving executing the code. 
3. Human based checking.
4. Target

1. Requirement specification
2. Application architecture
3. High level and detailed design
4. Data base design

• Methods

1. Inspection
2. Walk through
3. Desk-Checking