变量交换相关论文
随着计算机软硬件系统日益复杂,保证系统的正确性和可靠性日显重要,为此提出的许多理论和方法中,模型检测以其简洁明了和自动化程......
变量交换作为BDD优化算法的核心理论已成功运用于BDD节点规模的减少,本论文从理论和实践的角度提出了运用该理论实现BDD路径数量减......
