D3.a: Advances in Analysis Technology


Executive Summary The goal of WP3 is to develop qualitative analyses for verifying properties of service implementations with respect to their formal specifications. This document summarises mainly the research activity carried out in months 13 to 24 within the tasks T3.1, T3.2, T3.3, and T3.4. Altogether, 34 original contributions have emerged as a result… (More)


Cite this paper

@inproceedings{Bauer2007D3aAI, title={D3.a: Advances in Analysis Technology}, author={Joerg Bauer and Andrea Corradini and Fabio Martinelli and Flemming Nielson and Rosario Pugliese and Artur Zawłocki}, year={2007} }