Simon Fraser University, B.C., Canada;
EPFL, Switzerland;
机译:使用软件模型检查来验证MPI Java程序
机译:通过混合符号分析对顺序软件程序进行模型检查
机译:软件模型检查:提取验证模型表格源代码
机译:可配置的软件验证:具体化模型检查和程序分析的融合
机译:开放系统的模型检查:一种组合的软件验证方法。
机译:比较两种软件程序对数字正畸模型的可视化和分析的可用性的比较研究
机译:可配置的软件验证:具体化模型检查和程序分析的融合