Verification in Electronic City Phase II