PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bartoletti M., Caires L., Lanese I., Mazzanti F., Sangiorgi D., Tores Vieira U., Zunino R. Tools and verification. Martin Wirsing, Matthias M. Holzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Heidelberg: Springer, 2011.
 
 
Abstract
(English)
This chapter presents different tools that have been devel- oped 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 pro ject itself.
Abstract
(Italiano)
Vengono presentati i vari tools sviluppati nel contesto del progetto Sensoria per la verifica di proprieta di servizi.
URL: http://www.springerlink.com/content/325447104h728012/
DOI: 10.1007/978-3-642-20401-2_19
Subject SENSORIA verification tools
D.2.4 Software/Program Verification
03-XX Mathematical logic and foundations


Icona documento 1) Download Document PDF
Icona documento 2) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional