M. Dobos-Kovács and A. Vörös.
" Evaluation of SMT solvers in abstraction-based software model checking", in <em>Anais do III Workshop on Validation and Verification of Future Cyber-physical Systems</em>, Fortaleza/CE, 2022, pp. 109–116.