基于时间自动机模型验证方法优化研究

摘要	第1-4页
Abstract	第4-5页
目录	第5-7页
第一章 前言	第7-10页
·研究背景	第7-8页
·研究现状	第8页
·研究内容	第8-9页
·本文结构	第9-10页
第二章 时间自动机	第10-20页
·时间自动机简介	第10-17页
·转换系统	第11-12页
·有时间约束的转换系统	第12-13页
·时间语言	第13-14页
·时钟约束和时钟解释	第14-15页
·时间自动机的语法和语义	第15-17页
·时间Buchi自动机和时间Muller自动机	第17-18页
·确定的时间自动机	第18-20页
第三章 基于时间自动机的验证过程	第20-25页
·可达性分析	第20-21页
·轨迹语义及其时间扩展	第21-24页
·使用时间自动机验证	第24-25页
第四章 对时间自动机验证过程的优化	第25-46页
·区域自动机	第25-30页
·域等价关系	第25-27页
·域及其操作的符号化表示	第27-28页
·域自动机	第28-30页
·带自动机	第30-32页
·差值有界矩阵	第32-34页
·基于历史等价和转换互模拟的时间自动机最小化方法	第34-40页
·基于状态转移时间关系的优化方法	第40-46页
第五章 基于时间自动机验证实例	第46-52页
·验证工具简介	第46-47页
·基于时间自动机协议验证FDDI协议	第47-52页
第六章 总结与展望	第52-53页
致谢	第53-54页
参考文献:	第54-58页
附录1 攻读硕士学位期间发表的论文	第58页