PolyVer: A Compositional Approach for Polyglot System Modeling and Verification.

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

Browse the full FMCAD paper archive.