Vinicius Lima | Formal Verification Group https://fiction-zju.github.io/author/vinicius-lima/ Vinicius Lima Wowchemy (https://wowchemy.com)en-us https://fiction-zju.github.io/author/vinicius-lima/avatar_hucf4d8f69541239833fed261078c3d191_75858_270x270_fill_q75_lanczos_center.jpg Vinicius Lima https://fiction-zju.github.io/author/vinicius-lima/