TY  - RPRT
TI  - UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis
AU  - Elizabeth Polgreen
AU  - Kevin Cheang
AU  - Pranav Gaddamadugu
AU  - Adwait Godbole
AU  - Kevin Laeufer
AU  - Shaokai Lin
AU  - Yatin A. Manerkar
AU  - Federico Mora
AU  - Sanjit A. Seshia
PY  - 2022
UR  - https://arxiv.org/abs/2208.03699
ID  - 2208.03699
ER  -