Aktuelles

[22.02.2019] Wartung von "Aktuelles"

+++Diese Seite befindet sich in Wartung+++

[05.02.2012] LLBMC: The Low-Level Bounded Model Checker

Das an unserer Gruppe entwickelte Software-Analyse-Werkzeug LLBMC ist in einer ersten Version (2012.1) öffentlich verfügbar.

[19.04.2011] Google Tech Talk

Am 22. Februar haben wir einen Google Tech Talk in München gehalten. Das Video zum Vortrag kann ab sofort hier angeschaut werden.

[04.02.2010] Wir sind umgezogen

Unsere neuen Büros befinden sich in Gebäude 50.34 im zweiten Stock und haben die Zimmernummern 225, 226 und 227.

[01.12.2010] Herzlich willkommen Stephan Falke

Stephan Falke, bisher tätig an der University of New Mexico, Albuquerque, ist neues Mitglied unserer Forschungsgruppe. Herzlich willkommen!

[17.08.2009] Herzlich willkommen Florian Merz

Wir heißen unseren neuen Mitarbeiter Florian Merz herzlich willkommen.

[07.07.2009] MiniSAT 09z gewinnt Special Track der SAT-Competition 2009

Der an unserem Arbeitsbereich von Markus Iser entwickelte SAT-Solver "MiniSAT 09z" gewinnt den Minisat-Hack-Track der SAT-Competition 2009.

[24.04.2009] Gratulation zum Abschluss

Wir gratulieren Hendrik Post zum erfolgreichen Abschluss seiner Promotion.

[15.10.2008] Herzlich willkommen Olga Tveretina

Wir heißen unsere neue Mitarbeiterin Olga Tveretina herzlich willkommen.

[05.09.2008] AES Verifikations-Benchmark verfügbar

Klicken Sie hier für mehr Informationen.

[05.12.2005] Verifikation in der Automobilindustrie

Verifikationsverfahren spielen in der Automobilproduktion eine immer wichtigere Rolle, da trotz zunehmender Komplexität die erforderlichen hohen Qualitätsstandards aufrechterhalten werden sollen. Wir haben zusammen mit dem Steinbeis-Transferzentrum OIT der Universität Tübingen und der T-Systems GmbH für die Daimler AG ein System zur logischen Prüfung von Stücklistendaten und Produktvarianten entwickelt, welches der Verbesserung der Datenqualität und zur Vermeidung von Fehlern in der Produktion dient. Klicken Sie hier für mehr Informationen.