README.md

veripy

An auto-active verification library for Python Work-In-Progress

Requirements

Binaries

• Python 3.6+
• Z3

Python Libraries

• pyparsing
• Z3Py

TODOs

• Basic Verification with control flows
• Arrays
• Quantifiers
• Havoc for while
• Function calls
• More AST mappings