Verification in Electronic City Phase I