Applying software model checking: experiences and advancements - Berger, Philipp (Verfasser); Katoen, Joost-Pieter (Akademischer Betreuer); Beyer, Dirk (Akademischer Betreuer) (Aachen. RWTH Aachen University, 2024, 2024)