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
Rostock continues to define the standards for the computer aided analysis of concurrent systems. The tool LoLA, developed by the Theory group, won three of five competitions in this year's model checking contest in Zaragoza. For the first time, all three gold medals for the actual verification categories went to Rostock. The group supports the contest by donating substantial computing power.
More information: http://mcc.lip6.fr