静态验证器论文

VeriJava中静态验证器的设计与实现
论文摘要软件的可靠性一直是工业界和学术界关注的焦点,随着软件系统的规模和复杂度的不断增长,如何保证其可靠性成为了亟待解决的问题。软件开发方法和软件工程也在不断发展,当今主流的面...