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

Sarah Grebing vertritt KIT und den Software Campus auf dem nationalen IT-Gipfel 2014 Logo
Bild: Software Campus / Daniel Reinhardt

Das Bundesministerium für Wirtschaft und Energie veranstaltete am Dienstag, den 21. Oktober 2014, den diesjährigen Nationalen IT-Gipfel in Hamburg.

Vertretend für das KIT sowie den Software Campus war auch Sarah Grebing vom Institut für Theoretische Informatik am Lehrstuhl für Anwendungsorientierte Formale Verifikation mit auf dem IT-Gipfel.

Weitere Informationen
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