05.07.17 10:50 Alter: 46 Tage
Kategorie: IfI-Startseite, IfI-2017, Institut für Informatik

Rostock bleibt das Maß aller Dinge in der automatischen Analyse verteilter Systeme


Das Werkzeug LoLA des Lehrstuhls Theoretische Informatik konnte drei der fünf Wettbewerbe beim diesjährigen Model Checking Contest in Saragossa (Spanien) gewinnen und somit erstmals in allen drei Verifikationskategorien Gold holen.
Der Lehrstuhl unterstützt den Wettbewerb durch Bereitstellung von umfangreicher Rechnerkapazität.
Weitere Informationen unter http://mcc.lip6.fr.