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.
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.