Andreas Podelski
Hochschullehrer
Hat mitgewirkt an:
-
Stratified commutativity in verification algorithms for concurrent programs
-
Static detection of inevitable errors = Statische Erkennung von unvermeidbaren Fehlern
-
Transition-based directed model checking = Transitionsbasierte gerichtete Modellprüfung
-
Model checking for time division multiple access systems