Members
Cosimo Laneve
Professor
Elena Giachino
Researcher
Michael Lienhardt
Researcher
Abel García
PhD. Student
Credits
- A full paper describing this research may be found here.
- This research is inspired by the Deadlock Analysis Tool for ABS.
- 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 ( web site).