Endowed professorship for reliable software systems in the automotive industry

Generating Preconditions for a Modular Analysis

  • chair:Generating Preconditions for a Modular Analysis based on Bounded Model Checking
  • type:Master Thesis
  • time:immediately
  • tutor:

    Marko Kleine Büning