System Verification: Proving the Design Solution Satisfies t