Lukas Mentel, Karsten Scheibler, Felix Winterer, Bernd Becker 0001, Tino Teige. Benchmarking SMT Solvers on Automotive Code. In Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2021, 24th Workshop, Virtual Event, Germany, March 18-19, 2021. pages 1-10, VDE/IEEE, 2021. [doi]
Abstract is missing.