Double Major Program Verification