Benchmarking SMT Solvers on Automotive Code. - Lukas Mentel; Karsten Scheibler; Felix Winterer; Bernd Becker 001; Tino Teige (MBMV, 2021)

Detection and Elimination of Constants to Strengthen k-Induction. - Lukas Mentel; Karsten Scheibler; Tino Teige (MBMV, 2022)