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.