Verification on the web of mobile systems

The vast majority of current available verification environments have been built by sticking to traditional architectural style centralized and without dealing with interoperability and dynamic recongurability. In this paper we present a verification toolkit whose design and implementation exploit the Web service architectural paradigm.