Book System Verification. Proving The Design Solution Satisfies The Requirements