Release Time:2022-07-10 Hits:
Date of Publication: 2014-01-01
Journal: 2014年全国计算机体系结构学术年会
Institution: 物理学院
Prev One:一种面向软件可信性的测试用例生成与优化方法
Next One:一种定理证明与模型检测融合的软件验证加速方法