面向参数化系统验证的自动抽象方法 - 第十七届全国计算机辅助设计与图形学学术会议(CAD_CG’ 2012)暨第九届全国智能CAD与数字娱乐学术会议(CID’ 2012).pdf

论文《面向参数化系统验证的自动抽象方法》发表于第十七届全国计算机辅助设计与图形学学术会议(CAD_CG’ 2012)暨第九届全国智能CAD与数字娱乐学术会议(CID’ 2012)。该文提出一种针对参数化系统的自动抽象方法，旨在提高系统验证的效率与准确性。通过引入自动化技术，对复杂系统进行简化建模，从而降低验证难度，提升验证过程的可操作性。研究对于提高软件和硬件系统的可靠性具有重要意义。

文档为pdf格式，0.27MB，总共4页。

面向参数化系统验证的自动抽象方法 - 第十七届全国计算机辅助设计与图形学学术会议(CAD_CG’ 2012)暨第九届全国智能CAD与数字娱乐学术会议(CID’ 2012).pdf

文件大小:

276.48 KB

高速下载