Verification and exploitation or control tasks delegation

This deliverable will report on the advantages of control task offloading, and will design novel formal verification and model checking techniques for BEBA’s stateful dataplane.