Symbolic methods for formal verification of industrial control software - Bohlender, Dimitri (Verfasser); Kowalewski, Stefan; Hermanns, Holger; Rheinisch-Westfälische Technische Hochschule Aachen; Rheinisch-Westfälische Technische Hochschule Aachen. Fachgruppe Informatik (Herausgebendes Organ) (Aachener Informatik-Berichte, 2021)