PolyVer: A Compositional Approach for Polyglot System Modeling and Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Pei-Wei Chen' in GoogleThis author has not been identified. Look up 'Shaokai Lin' in GoogleThis author has not been identified. Look up 'Adwait Godbole' in GoogleThis author has not been identified. Look up 'Ramneet Singh' in GoogleThis author has not been identified. Look up 'Elizabeth Polgreen' in GoogleThis author has not been identified. Look up 'Edward A. Lee' in GoogleThis author has not been identified. Look up 'Sanjit A. Seshia' in Google

runs on WebDSL