Document - Tools and Verification

2011

Contribution to book Open Access

Tools and Verification

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

Formal Specification PROCESS CALCULI CONFORMANCE Semi-automated MODEL CHECKING Qualitative analysis TOOLS

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.

Source: Rigorous Software Engineering for Service-Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, edited by Martin Wirsing, Matthias Hölzl, pp. 408–427. Berlin/Heidelberg: Springer-Verlag, 2011

Publisher: Springer-Verlag, Berlin/Heidelberg, DEU

Metrics

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, Berlin/Heidelberg, DEU},
	doi = {10.1007/978-3-642-20401-2_19},
	booktitle = {Rigorous Software Engineering for Service-Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, edited by Martin Wirsing, Matthias Hölzl, pp. 408–427. Berlin/Heidelberg: Springer-Verlag, 2011},
	year = {2011}
}