Company:University of Freiburg, @ultimate-paLocation:Germany
Hanfor helps analyzing and formalizing requirements.
The Ultimate program analysis framework.
hauff doesn’t have any repository yet.