Document - Tools and Verification

2011

Contribution to book Restricted

Tools and Verification

Bartoletti M, Caires L, Lanese I, Mazzanti F, Sangiorgi D, Vieira H T, Zunino R

Formal Specification; Qualitative analysis; Semi-automated

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-Verlag

Back to previous page

Cite as

BibTeX entry

@inbook{oai:it.cnr:prodotti:203873,
	title = {Tools and Verification},
	author = {Bartoletti M and Caires L and Lanese I and Mazzanti F and Sangiorgi D and Vieira H T and Zunino R},
	publisher = {Springer-Verlag},
	year = {2011}
}