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

Meet & Prove -- Hineinschnuppern in die Forschung des Lehrstuhls

In die Forschung des Lehrstuhls hineinschnuppern...
...mit kleinen Challenges
...mit Themen für Abschlussarbeiten
...mit Themen für HiWi-Jobs
...und mit anschließendem Get-Together

Am 04.02.15 ab 15:45 Uhr findet in Raum 201 (Gebäude 50.34) das Meet &nd Prove statt. Um Anmeldung bis zum 01.02.15 bei simone.meinhart@kit.edu wird gebeten.

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