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
