| 中文摘要 | 第1-5页 |
| 英文摘要 | 第5-8页 |
| 1. 绪论 | 第8-12页 |
| ·课题背景 | 第8页 |
| ·研究现状和发展 | 第8-10页 |
| ·本课题的主要工作 | 第10页 |
| ·论文结构 | 第10-12页 |
| 2. 模型验证和程序验证框架 | 第12-22页 |
| ·模型验证简介 | 第12-15页 |
| ·软件模型验证框架 | 第15-22页 |
| 3. 程序切片 | 第22-54页 |
| ·基本概念 | 第22-24页 |
| ·程序切片的分类 | 第24页 |
| ·切片技术 | 第24-29页 |
| ·多线程程序的切片构造 | 第29-54页 |
| 4. 程序抽象技术 | 第54-64页 |
| ·抽象技术概述 | 第54-55页 |
| ·程序抽象 | 第55-58页 |
| ·性质抽象 | 第58页 |
| ·反例的可行性分析 | 第58-64页 |
| 5. 结束语 | 第64-66页 |
| 参考文献 | 第66-70页 |
| 附录 | 第70-72页 |
| 后记 | 第72-73页 |