Die Forschungsgruppe“Zuverlässige Softwaresysteme in der Automobilitindustrie”am Institute für Theoretische Informatik bessat sich mit Verfahren zur Qualityätsicherung（Verifkation）von Hard-und Software einschließlich der zugehörigen Grundlagenforschung（Algorithmik）。Wir sind dabei in erster Linie an vollautomatischen Verfahren interessiert，die keine order sehr wenig Benutzer interaction fordern.我们在莱尼之前的一段时间里对弗法伦感兴趣。

Ein Schwerpunkt is dabei die Weiterentwicklung von grundlegenden logischen Entscheidungsverfahren（z.B.SAT/SMT-Solving），die im Kern vieler Verifikationstools Verwendung finden。Hier beschäftigen wir uns insbesondere mit der Konstruktion neuer Algorithmen für in der Praxis auftretende Probleme，sowie deren Anpassung auf moderne Hardwarearchitekturen（多核，网格）。Daneben is die Analyse der inneren Struktur solcher Problem eines unser Forschungshemen.（Daneben正在分析内部的Struktur-solcher问题，而Forschungthemen则不在其中。）。

Ein weiterr Schwerpunkt unser Gruppe is die Nutzbarmachung von Verifikationsmethoden für industrielle Probleme（Produktconfiguration，Software-Verifikation），insbesondere für-die Automobility industrie。