Verifying Python Framework