www.avantssar.eu Deliverable D3.2 Model-Checking Techniques

The AVANTSSAR project aims at improving the security of service-oriented architectures (SOA). To this end, we have presented in Deliverable D 3.1 how secure services can be synthesized from their specifications. In this deliver-able, we focus on the validation of given services, and more specifically we present the results obtained on the application of model checking to the vali-dation of services, on the development of model-checking techniques oriented towards the enhancement of the AVANTSSAR Platform tools, and on the em-bedding in model-checking techniques of original aspects of SOA components validation. Deliverable details Deliverable version: v1.0 Classification: publi