UCLID5 tool [Google Scholar] Papers: polgreen:cav:2022 Papers related to UCLID5 tool UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis [polgreen:cav:2022]