基于即时验证的嵌入式软件验证技术研究

目录

文摘

英文文摘

论文说明:图表目录、注释表

声明

第一章 绪论

第二章 基于模型的形式化验证方法

第三章 基于场景规约的即时验证

第四章 T-CBESD 扩展概述及输入接口的扩展设计与实现

第五章 即时验证模块的设计与实现

第六章 实例应用与分析

第七章 总结与展望

参考文献

致 谢

在学期间的研究成果及发表的学术论文