Arbeitsgruppe Zuverlässige Systeme

Forschungsinteressen

  • Formale Spezifikation und Verifikation von Systemen
  • Softwarequalität
  • Kombinatorische und algorithmische Probleme auf sequenziellen Strukturen