user manual

3
Verifying Specifications
3-1