Lukas Mentel

According to our database, Lukas Mentel authored at least 2 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Detection and Elimination of Constants to Strengthen k-Induction.

Lukas Mentel, Karsten Scheibler, Tino Teige

Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2022

2021

Benchmarking SMT Solvers on Automotive Code.

Lukas Mentel, Karsten Scheibler, Felix Winterer, Bernd Becker, Tino Teige

Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2021