程序验证方法相关硕士博士期刊学术论文

<正>一、引言自从1967年Floyd发表其论文“给程序赋予意义以来,程序自动验证工具的研究持续了数十年。Floyd在文[4]中提出了用......