内存模型论文

基于类型系统的程序验证方法研究
论文摘要今天软件在我们的生活中已经无处不在,它对人们的影响越来越大,虽然有时会觉察不到它的存在。在许多领域如航空航天、金融、医疗、汽车电子等,软件的可信性具有十分重要的意义。随...