模型检查论文

基于模型检查的系统程序的可靠性与安全性验证
论文摘要软件复杂度呈指数上升,BUG数量的不断增多,人工测试已经不堪重负。理论界专家纷纷指出,模型检查（ModelChecking）将会成会未来的趋势。本文选用了两款各有针对性...
UML状态图模型检查技术及工具实现
论文摘要UML已经是软件建模方面的标准语言,UML状态图描述系统在其生命周期中的动态行为。随着系统规模的扩大和复杂度的提高,UML状态图往往包含设计者所未预料到的隐患,通过模型...