两阶段程序 meaning in Chinese
two-stage process
Examples
- Based on the analysis of shortages and strong points of two program model checking methods , a two - phase program model checking framework was proposed , which can efficiently improve the applicability of checking large programs with the framework by integrating two methods of program model checking
基于对这两种程序模型检测方法各自优缺点的分析，提出了一种两阶段程序模型检测框架，通过结合两种程序模型检测方法，可有效提高程序模型检测对较大规模程序的适用性。