断言归纳法相关硕士博士期刊学术论文

程序验证是保护软件系统正确性的一个重要手段.大多数程序验证系统是半自动化的或称为交互式的.程序验证系统通常采用面向目标的验......