User's Manual

3
Verifying Specifications
3-1