SENSORIA - D3.3A - An Overview of Techniques for Behavioural Properties
Caires L, Zawbocki A, Corradini A, Mazzanti F, Loreti M, Nielson H R
Formal Specification Verification Analysis
The main goal of WP3 is to coordinate the partners efforts towards the development of qualitative analysis methods for global services. In particular, this deliverable reports on the research activity carried on during the first 12 months by the SENSORIA partners in the advancement of the state of art for a wide spectrum of techniques suitable for the description and analysis of the behavioral properties of services. Twelve original contributions have emerged as result of this research activity. In the following sections of this document an overview is given of the performed activity and the results are described with a limited level of technical details . The full details of the contributions can be found in the twelve papers mentioned in the final "Relevant Sensoria Publications and Reports" Section.
Back to previous page
@misc{oai:it.cnr:prodotti:160939,
title = {SENSORIA - D3.3A - An Overview of Techniques for Behavioural Properties},
author = {Caires L and Zawbocki A and Corradini A and Mazzanti F and Loreti M and Nielson H R},
year = {2006}
}
0000-0003-4562-8777