News

[22.02.2019] +++ Page is under construction +++

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

Our static software analysis tool LLBMC is now available in a first public release (version 2012.1).

 [19.04.2011] Google Tech Talk

On the 22nd of February we gave a Google Tech Talk in Munich. The video of talk is now available on Youtube.

[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 Hack-Track

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.