Runtime Monitors observe the execution of a system with the aim of reaching a verdict about it. One property that is expected of monitors is consistent verdict detections; this property
Concrete artefacts are produced and used for dissemination. These include scientific publications, a repository of use-cases, tutorials, a non-technical article presenting the main achievements of the project, material for tutorials and recorded tutorials. These artefacts will remain available to the general public beyond the duration of the project and promote a continuative and long-term dissemination.
If you are unable to view these files, please log in or register.
This deliverable reports on the evolution during the second year of the project of its web site (www.um.edu.mt/projects/behapi/). This is a public deliverable and can be accessed here.
This deliverable presents the tutorials/papers of tools developed by partners of the project during the second year. We provide pointers to the online resources that can be found in the
This deliverable presents the training materials on behavioural types developed by members of the consortium during the second year of the project. These materials were created to support the courses
This deliverable describes how the approaches followed in the project to support round-trip engineering of b-APIs (behavioural application programming interfaces) are supported by tools. The deliverable is related to the
This deliverable assesses the use of top-down, bottom-up, and round-trip tool support for engineering b-APIs (behavioural application programming interfaces). The deliverable is related to the tasks “Top-down DevOps1 support” (T4.2),
This deliverable reports on the results of the task “Platforms survey and extensions” of work package (WP) 4 “Tool support”. The goals of WP4 are to enhance and develop tools
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