<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Tools and verification"^^ . "\r\n\r\nThis chapter presents different tools that have been developed inside the Sensoria project. Sensoria studied qualitative analysis techniques for verifying properties of service implementations with respect to their formal specifications. The tools presented in this chapter have been developed to carry out the analysis in an automated, or semi-automated, way.\r\n\r\nWe present four different tools, all developed during the Sensoria project, exploiting new techniques and calculi from the Sensoria project itself."^^ . "2011" . . "6582" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . "Franco"^^ . "Mazzanti"^^ . "Franco Mazzanti"^^ . . "Massimo"^^ . "Bartoletti"^^ . "Massimo Bartoletti"^^ . . "Roberto"^^ . "Zunino"^^ . "Roberto Zunino"^^ . . "Hugo "^^ . "Torres Vieira"^^ . "Hugo Torres Vieira"^^ . . "Ivan"^^ . "Lanese"^^ . "Ivan Lanese"^^ . . "Luis"^^ . "Caires"^^ . "Luis Caires"^^ . . "Davide"^^ . "Sangiorgi"^^ . "Davide Sangiorgi"^^ . . . . . . "Tools and verification (PDF)"^^ . . . "TorresVieira_LNCS_6582.pdf"^^ . . . "Tools and verification (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Tools and verification (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Tools and verification (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Tools and verification (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #2311 \n\nTools and verification\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .