Service interoperability verification is key to enable service continuity among pervasive computing environments. Pervasive computing is shifting the computing paradigm toward everywhere computing where number of heterogeneous and autonomous systems offer rich sets of services to assist inhabitants in their daily living. To support continuity of services these systems must provide seamless and flawless interoperability among devices and services. In this paper, We present our ongoing project on verifying the service interoperability in pervasive computing environments. We highlight the potential use of formal methods to verify the interoperability requirements and propose using design by contract technique to model and verify the semantic and pragmatic service interoperability requirements. We also present our verification requirement analysis and the benefits of using this technique with rich support from languages for implementation.