Saarbrücker Informatiker arbeiten an mathematischen Methoden, um die Verlässlichkeit elektronischer Bremssysteme automatisch überprüfen zu können. Auf der diesjährigen Computermesse Cebit stellen Sie ihre Forschungsergebnisse am saarländischen Forschungsstand (Halle 26, Stand F34) in der Zeit vom 6. bis zum 10. März vor. Das Forschungsprojekt wird von der Deutschen Forschungsgemeinschaft im Rahmen des Sonderforschungsbereiches „Automatic Verification and Analysis of Complex Systems“ (AVACS) finanziert.
