Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Puma login

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.



TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 8 ms