Model Checking; Program Backbone; Path Compression; Program Verification;
机译:使用软件模型检查来验证MPI Java程序
机译:通过混合符号分析对顺序软件程序进行模型检查
机译:软件模型检查专刊的序言:第20届国际SPIN软件模型检查研讨会论文选集
机译:基于程序骨干加速软件模型检查
机译:基于状态建模和成分模型检查的软件产品线安全性分析
机译:基于使用NEURON编程语言hoc开发的软件来教学和学习Hodgkin-Huxley模型
机译:具有体系结构意识的部分订单减少,可加快网络程序的模型检查