Tools and verification

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)

Preview

PDF Download (609kB) | Preview

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.

Item Type:	Book Section
Identification Number:	https://doi.org/10.1007/978-3-642-20401-2_19
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area:	Computer Science and Applications
Depositing User:	Hugo Vieria
Date Deposited:	09 Oct 2014 11:59
Last Modified:	08 Apr 2015 10:37
URI:	http://eprints.imtlucca.it/id/eprint/2311

Actions (login required)

Edit Item