可覆盖性分析相关论文
多线程程序是计算机软件设计的核心,如何高效验证多线程程序的安全性问题已成为国内外研究人员的主要研究内容。现有研究表明:多线......
针对良序结构迁移系统可覆盖性分析计算成本高的问题,提出一种运用有限状态模型检验技术解决无穷状态系统可覆盖性问题的算法.首先......
