Pei-Wei Chen, Shaokai Lin, Adwait Godbole, Ramneet Singh, Elizabeth Polgreen, Edward A. Lee, Sanjit A. Seshia. PolyVer: A Compositional Approach for Polyglot System Modeling and Verification. In Ahmed Irfan, Daniela Kaufmann, editors, Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, FMCAD 2025, Menlo Park, CA, USA, October 6-10, 2025. TU Wien Academic Press, 2025. [doi]
Abstract is missing.