UCLID5: Multi-modal formal modeling, verification, and synthesis

Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia
[ISBN] [Google Scholar] [DBLP] [Citeseer]

Computer Aided Verification
Springer International Publishing
Cham
Pages 538-551
2022
Note(s): uclid5

UCLID5 tool