Interpolation; Safety; Model checking; Space exploration; Subspace constraints; Software; Tools;
机译:软件模型检查专刊的序言:第20届国际SPIN软件模型检查研讨会论文选集
机译:使用模型转换和模型检查来支持软件行为模型的自动包含检查
机译:使用可扩展的软件模型检查框架检查JML规范
机译:软件模型检查中更有效的插值
机译:基于状态建模和成分模型检查的软件产品线安全性分析
机译:使用DNA序列和微卫星数据通过软件DIYABC(v1.0)推断种群历史并进行模型检查
机译:软件模型检查中更有效的插值