代数语义相关论文
该文的主要想法是想将形式化语义方法引入工业界应用极为广泛的VerilogHDL中,为Verilog的形式化验证以及自动求精提供严格的语义基......
随着程序设计的研究与发展，程序的正确性、可靠性、可维护性等问题受到普遍关注，所以对程序规范与验证的形式化方法研究有重要的意义......
