The START Proposal: Verification Issues