反例驱动的细化相关硕士博士期刊学术论文 - 搜论网

反例驱动的细化相关论文

基于抽象-验证-细化范例的软件模型检测

如何保证软件系统的正确性和可靠性是当前软件开发面临的主要问题之一。模型检测作为一种重要的自动化验证技术在软件的分析与验证......

期刊

模型检测软件模型检测谓词抽象反例驱动的细化 Model checking Software model checking Predicate abstr

看过本文同时还关注