程序骨架相关硕士博士期刊学术论文 - 搜论网

程序骨架相关论文

基于程序骨架的软件模型验证加速方法

模型验证作为一种形式化技术,已逐渐应用于软件系统可靠性验证.但对结构复杂的大规模软件的验证,由于状态空间爆炸往往会导致验证......

会议

软件工程模型验证加速程序骨架路径压缩

基于模型检测的软件可靠性验证方法

随着信息技术的快速发展,计算机软件的应用领域不断扩大,其功能和规模也日益复杂。这些软件系统运行时如果出现故障,将造成不可估......

学位

软件可靠性模型检测状态变迁矩阵程序骨架性质验证

看过本文同时还关注