This deliverable describes the advances of the BehAPI consortium on some of the themes of Work Package 3 (WP3 – API Consumption), that is techniques for static and dynamic verification of b-APIs consumers especially in the context of a model-driven approach. The deliverable has been submitted at the end of year 2 of the BehAPI project and describes activities, secondments, outcomes, and plans at the time in which was it written. We expect all activities discussed in this deliverable to continue after the end of year 2 and to be reported in a subsequent deliverable due in year 3.

This is a public deliverable and can be accessed here.