Distributed coverage verification in sensor networks without location information