Summary
In this deliverable, we will conclude the efforts of all three tasks. Specifically, we will finalize the control framework, design of the SLA based deployment, and complete the implementation and testing of both the symbolic execution checking tool as well as the automatic monitoring and anomaly detection tools.
More information & hyperlinks