| ||||
| ||||
![]() Title:Nagini: A Static Verifier for Python Conference:CAV2018 Tags:Dynamic language, Program verification and Separation logic Abstract: We present Nagini, an automated, modular verifier for statically-typed, concurrent Python 3 programs, built on the Viper verification infrastructure. Combining established concepts with new ideas, Nagini can verify memory safety, functional properties, termination, deadlock freedom, and input/output behavior. Our experiments show that Nagini is able to verify non-trivial properties of real-world Python code. | ||||
Copyright © 2002 – 2025 EasyChair |