The HyCOMP development team

HyCOMP is mainly developed and maintained by the FM (Formal Methods) unit of FBK (Fondazione Bruno Kessler).

Here is a list of people who are currently working on the development of HyCOMP.