TY  - CHAP
SN  - 978-3-642-20400-5
PB  - Springer
EP  - 427
T2  - Rigorous Software Engineering for Service-Oriented Systems
A1  - Bartoletti, Massimo
A1  - Caires, Luis
A1  - Lanese, Ivan
A1  - Mazzanti, Franco
A1  - Sangiorgi, Davide
A1  - Torres Vieira, Hugo 
A1  - Zunino, Roberto
Y1  - 2011///
T3  - Lecture Notes in Computer Science
SP  - 408
ID  - eprints2311
TI  - Tools and verification
AV  - public
N2  - 

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.
UR  - http://dx.doi.org/10.1007/978-3-642-20401-2_19
ER  -