ForMiCa

Formica ist eine über die Jahre gewachsene und sich verändernde Gruppe im Bereich Formal Methods in Computer Science. Aus dieser Zusammenarbeit sind verschiedene Projekte hervorgegangen. Eines der zentralen Projekte der letzten Jahre ist COMPARE.