UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis
Authors: Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora and Sanjit A. Seshia
Paper Information
| Title: | UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis |
| Authors: | Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora and Sanjit A. Seshia |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | verification, synthesis, multi-modal verification |
| Pages: | 13 |
| Talk: | Aug 08 15:20 (Session 97A: Formal Methods for Hardware, Cyber-Physical and Hybrid Systems) |
| Paper: |  |