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