Mihály Dobos-Kovács, Ákos Hajdu, and András Vörös. 2021.
 Bitvector Support in the Theta Formal Verification Framework. In <em>Proceedings of the 2nd Workshop on Validation and Verification of Future Cyber-physical Systems</em>, November 22, 2021, Florianópolis, Brasil. SBC, Porto Alegre, Brasil.