|
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:
Aktueller Forschungsbericht
|