[Zurück zum
Forschungsbericht]

DFG - SIGSMCAP

Projektbeschreibung:
SMT-basierte Interpolantengenerierung für Software Modelchecking von Array-Programmen

Ansprechpartner: Berit Brauer
Tel: 2038247
Email: brauer@informatik.uni-freiburg.de
Projektlaufzeit:
Projektbeginn: 31.12.2015
Projektende: 31.12.2018
Projektleitung:
Dr. Jochen Hoenicke

Albert-Ludwigs-Universität Freiburg
Professur für Softwaretechnik
Prof. Dr. Andreas Podelski
Georges-Köhler-Allee 52
79110 Freiburg

Telefon: 8241
Fax: 8242
Email: podelski@informatik.uni-freiburg.de
http://swt.informatik.uni-freiburg.de/

Mitarbeiter:
  • Dr. Jochen Hoenicke
  • Tanja Schindler
Finanzierung:

  • DFG, DFG

Aktueller Forschungsbericht