PolyVer: A Compositional Approach for Polyglot System Modeling and Verification

Pei-Wei Chen, Shaokai Lin, Adwait Godbole +4

Several software systems are polyglot; that is, they comprise programs implemented in a combination of programming languages. Verifiers that directly run on mainstream programming…