Nagini: an automated, modular verifier for Python

Leveraging Rust Typesfor Modular Specification and Verification

Nagini: A Static Verifier for Python