interpolants; loop bounds; loop invariants; program verification; symbolic computation; theorem proving;
机译:自动生成程序属性的符号消除
机译:650 MHz的设计,分析和多步研究, style =“ font-family:Symbol; mso-ascii-font-family:” Times New Roman“; mso-hansi-font-family:” Times New Roman“; mso -char-type:符号; mso-symbol-font-family:符号“ lang =” EN-US“> src ='/ image / spc_char / beta.gif'border = 0> = 0.61超导 RF i>腔 span>
机译:影响忽略热带疾病消除计划的可持续性的因素:肯尼亚国家消除淋巴丝虫病的多种案例研究
机译:程序分析中的符号消除
机译:忽视热带疾病消除计划的综合可持续发展框架:肯尼亚淋巴丝体消除计划的多种案例研究
机译:影响忽略热带疾病消除计划的可持续性的因素:对肯尼亚国家消除淋巴丝虫病计划的多种案例研究
机译:危险因素与淋巴丝体消除计划中失败的预传输评估调查(Pre-TAS)相关联:多国分析的结果