举报微软亚洲研究院的博文：

模型检验和维数灾难——记Edmund M.Clarke“21世纪计算”大会主题演讲