Can I read POLYVER-ACompositional Approach For Polyglot System Modeling and Verification on EtoBox?

POLYVER-ACompositional Approach For Polyglot System Modeling and Verification by Jim White is a document available to read on EtoBox.

What is POLYVER-ACompositional Approach For Polyglot System Modeling and Verification about?

The document presents P OLY V ER, a compositional approach for verifying polyglot systems that utilize multiple programming languages. It introduces a method for contract synthesis and verification using language-specific verifiers, allowing for automated and scalable verification without the need for full language translation. P OLY V ER has been implemented to support verification of systems using C and Rust, demonstrating its effectiveness in addressing the challenges of polyglot verification.

Author

Jim White

Language

EN