Home | english | Impressum | Sitemap | KIT

Kontakt
Institut für Theoretische Informatik

Am Fasanengarten 5
76131 Karlsruhe
Tel: +49 721 608-44023
Fax: +49 721 608-44021
E-Mail: simone meinhartHfu8∂kit edu

Anreise

Willkommen

Seit Ende 2009 existiert unsere Gruppe am Institut für Theoretische Informatik. Wir beschäftigen uns maßgeblich mit der Frage, wie Logik und formale Methoden, Spezifikation und Verifikation für die praktische Anwendung in der Software-Entwicklung nutzbar gemacht werden können.

Forschungsthemen

  • Formale Methoden im Software-Engineering
  • Spezifikation und Verifikation
  • Automatisches Beweisen in klassischen und nicht-klassischen Logiken

 

 

NEWS

Trauer um Klaus Tschira

Das KIT und unsere Arbeitsgruppe trauern um Klaus Tschira. Ohne die Förderung der Klaus Tschira Stiftung wäre die Arbeitsgruppe in der Form nicht möglich gewesen.

Nachruf des KIT
Neues Werkzeug für Regression-Verification am Lehrstuhl entwickelt

Im Rahmen des Projekts IMPROVE und der Lehrveranstaltung "Praxis der Forschung" ist das Werkzeug rêve entwickelt worden.

 

Mit dem Werkzeug ist es möglich formal zu beweisen, dass zwei Versionen eines Programms sich entweder gleich verhalten oder in einer klar definierten Weise unterschiedlich.

Details dazu können der Publikation von der ASE 2014 entnommen werden.

Webseite des Projekts