Polgreen, E., Cheang, K., Gaddamadugu, P., Godbole, A., Laeufer, K., Lin, S., Manerkar, Y.A., Mora, F., Seshia, S.A., 2021. UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis.. https://doi.org/10.5281/zenodo.6557711