interpolation; matrix algebra; program verification; software reliability;
机译:Garakabu2:ZIP中用于HSTM设计的基于SMT的边界模型检查器
机译:基于插值的模型检查中利用部分可变分配
机译:在基于插值的模型检查中计算变异覆盖率
机译:基于插值的HSTM设计的多核界限模型检查
机译:Unbounded-2-bounded:两阶段近似,用于模型检查无穷大直到概率系统的性质。
机译:利用概率模型检验设计和分析DNA链置换设备
机译:在基于插值的模型检验中计算变异覆盖率