eprintid: 2311
rev_number: 9
eprint_status: archive
userid: 59
dir: disk0/00/00/23/11
datestamp: 2014-10-09 11:59:22
lastmod: 2015-04-08 10:37:32
status_changed: 2014-10-09 11:59:22
type: book_section
metadata_visibility: show
creators_name: Bartoletti, Massimo
creators_name: Caires, Luis
creators_name: Lanese, Ivan
creators_name: Mazzanti, Franco
creators_name: Sangiorgi, Davide
creators_name: Torres Vieira, Hugo 
creators_name: Zunino, Roberto
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: hugo.torresvieira@imtlucca.it
creators_id: 
title: Tools and verification
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
abstract: 

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.
date: 2011
series: Lecture Notes in Computer Science
number: 6582
publisher: Springer
pagerange: 408-427
id_number: 10.1007/978-3-642-20401-2_19
refereed: TRUE
isbn: 978-3-642-20400-5
book_title: Rigorous Software Engineering for Service-Oriented Systems
official_url: http://dx.doi.org/10.1007/978-3-642-20401-2_19
citation:   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)  
document_url: http://eprints.imtlucca.it/2311/1/TorresVieira_LNCS_6582.pdf