软件模型验证相关硕士博士期刊学术论文

模型检测是一种重要的自动化验证技术。该技术应用于保证软件正确性和可靠性已成为近年来的一个研究热点。本文参与了基于规划方法......