AISoLA 2025

Bridging the Gap Between AI and Reality • Rhodes, Greece

Talk

PolyVer: A Compositional Approach for Polyglot System Modeling and Verification

Time: Tuesday, 4.11

Room: Room B

Authors: Pei-Wei Chen, Shaokai Lin, Adwait Godbole, Ramneet Singh, Elizabeth Polgreen, Edward Lee, Sanjit Seshia