Technion -Israel Institute of Technology;
机译:用于传送并发程序的LTL模型检查
机译:细化结构启发式方法,以通过数据挖掘对并发程序进行模型检查
机译:最大因果减少的无状态模型检查并发程序
机译:CBMC:并行C程序的有界模型检查
机译:使用程序变异进行故障检测技术的经验评估:并发测试和模型检查的比较
机译:同时注射未标记的抗体允许程序性细胞死亡配体的正电子发射断层扫描成像1在原位胰腺肿瘤模型中的表达
机译:并行程序的有界模型检查
机译:有限模型检验验证并发程序