抽象解释论文.docVIP

基于抽象解释的程序分析及其应用 周洁 （541004）Galois连接、Widening 算子、Narrowing 算子，指出了基于抽象解释理论的程序验证的主要研究方向。Program verification techniques and application based on the abstract interpretation Zhoujie 【Abstract】：In a highly computer-dependent society，reliability of software，especially of big real-time safety critical ones，gains farranging attention from computer community and the rest of the world.Existing tools for formal program verifying have to deal with complex computation through approximating to some extent.Abstract interpretation is a theory for sound approximation between mathematic models，and constructs a