As part of the static analysis of resource utilisation our tool produces a set of recurrence equations.
We rely on third party tools for solving such equations, in particular CoFloCo
and PUBS. We also thank the
costa team for the valuable discussions on this topic.
This research is partly funded by the EU project FP7-ICT-610582 ENVISAGE: Engineering Virtualized Services (