基本信息
文件名称：程序合成与验证.pdf
文件大小：5.48 MB
总页数：24 页
更新时间：2025-11-06
总字数：约1.64万字
文档摘要
程序合成与验证
1§1B
WUlflJJtiti
第一部分程序合成中的复杂度挑战2
第二部分基于约束求解的程序合成5
第三部分验证合成的程序的正确性8
第四部分形验证技术在程序合成中的应用10
第五部分符号执行用于验证合成程序13
第六部分模型检查用于合成程序的验证16
第七部分程序合成和脸证中的反例生成18
第八部分程序合成和验证