声明
插图索引
表格索引
缩略语对照表
第一章 绪论
1.1研究背景
1.2研究现状
1.3研究内容与组织结构
第二章 相关工作及背景知识
2.1命题投影时序逻辑PPTL
2.2基于PPTL的运行时验证
第三章 在线运行时验证方法的研究
3.1性质监控器的构建
3.2源代码插桩技术
3.3运行时验证工具
第四章 开源社交网络的验证
4.1 开源社交网络的选取
4.2 Elgg的性质验证
4.3 Dolphin的性质验证
4.4实验结果分析
第五章 总结与展望
5.1总结
5.2展望
参考文献
致谢
作者简介