relation: http://eprints.imtlucca.it/2311/
title: Tools and verification
creator: Bartoletti, Massimo
creator: Caires, Luis
creator: Lanese, Ivan
creator: Mazzanti, Franco
creator: Sangiorgi, Davide
creator: Torres Vieira, Hugo 
creator: Zunino, Roberto
subject: QA75 Electronic computers. Computer science
description:     This 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.    We present four different tools, all developed during the Sensoria project, exploiting new techniques and calculi from the Sensoria project itself.
publisher: Springer
date: 2011
type: Book Section
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/2311/1/TorresVieira_LNCS_6582.pdf
identifier:   Bartoletti, Massimo and Caires, Luis and Lanese, Ivan and Mazzanti, Franco and Sangiorgi, Davide and Torres Vieira, Hugo  and Zunino, Roberto  Tools and verification.   In:  Rigorous Software Engineering for Service-Oriented Systems.   Lecture Notes in Computer Science  (6582).  Springer, pp. 408-427.  ISBN 978-3-642-20400-5      (2011)  
relation: http://dx.doi.org/10.1007/978-3-642-20401-2_19
relation: 10.1007/978-3-642-20401-2_19