Puma

... heißt unser Graduiertenkolleg Programm- Und Modell-Analyse. PUMA vereint die vier grundlegenden Ansätze zu Programm- und Modellanalyse, nämlich Typsysteme, Theorembeweiser, Model-checking und Abstrakte Interpretation.