Dobos-Kovács, M., & 		Vörös, A.
2022 Nov 21.  Evaluation of SMT solvers in abstraction-based software model checking. Proceedings of the Workshop on Validation and Verification of Future Cyber-physical Systems (WAFERS). [Online] :