Endowed professorship for reliable software systems in the automotive industry

Automatic Modularization of Large Programs for Bounded Model Checking

  • Author:

    Marko Kleine BüningCarsten Sinz

  • Source:

    In Proc. of Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019