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.