Mihály Dobos-Kovács, Ákos Hajdu, András Vörös 0001. Bitvector Support in the Theta Formal Verification Framework. In 10th Latin-American Symposium on Dependable Computing, LADC 2021, Florianópolis, Brazil, November 22-26, 2021. pages 1-8, IEEE, 2021. [doi]
Abstract is missing.