静态程序切片论文

论文摘要随着信息科学技术的迅猛发展,软件被广泛应用在现代社会的各个领域,如何确保软件的安全可靠已经成为计算机科学领域共同关注的一个焦点问题。采用形式化方法对系统进行分析和验证,...