arXiv · Software Engineering· Naing Oo Lwin·2026-10-05 12:00· 1 天前AI 评分30

VeriPy：保留源码的 Python 组件验证与兼容性检查

VeriPy Source-Preserving Verification and Compatibility Checking for Python Components

AI 导读

VeriPy 将形式化保证与 Python 组件维护纳入统一工作流，开发者与智能体以 Python 注释表达契约、不变式和证明钩子，并用源码定位诊断完善已检查的辅助引理。