TY  - RPRT
TI  - PolyVer: A Compositional Approach for Polyglot System Modeling and Verification
AU  - Pei-Wei Chen
AU  - Shaokai Lin
AU  - Adwait Godbole
AU  - Ramneet Singh
AU  - Elizabeth Polgreen
AU  - Edward A. Lee
AU  - Sanjit A. Seshia
PY  - 2025
DO  - 10.34727/2025/isbn.978-3-85448-084-6_10
UR  - https://arxiv.org/abs/2503.03207
ID  - 2503.03207
ER  -