The ISP focuses on rigorous engineering of hard- and software systems with emphasis on software quality. One of our main interests lies in model-based development with formal verification techniques, in particular

  • Model Checking,
  • Runtime Verification, and
  • Testing.

As main application areas we work in the

  • medical
  • energy, and
  • logistic/mobility

domains. More details can be found on our project pages