八边形抽象域相关论文
目前,软件应用已经渗透到人们生活的方方面面,软件质量已经引起人们普遍关注。程序作为软件的核心,其正确性是保证软件质量的前提......
嵌入式软件在安全关键领域的广泛运用使得保障软件安全性成为工业界和学术界关注的重要课题.抽象解释作为一种形式化方法为程序变......
抽象解释静态程序分析技术用来发现运行时错误,保证程序正确性,已经被成功应用到工业界。抽象域是抽象解释理论中的一个重要方面,然......