« August 2017 »
August
MoTuWeThFrSaSu
123456
78910111213
14151617181920
21222324252627
28293031
Uni-Logo
You are here: Home Research Data Base Projects
Document Actions

Projects

This page is constructed automatically from the official research data base of the University of Freiburg.  This data base is likely to be out of date. If in doubt, please contact swtsecr@informatik.uni-freiburg.de.

 

SIGSMCAP

Project description

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

Start/End of project

31.12.2015 until 31.12.2018

Project manager

Dr. Jochen Hoenicke

Contact person

Berit Brauer
Phone:2038247

Funding

DFG
Personal tools