successor analysis
后续的分析
以上为机器翻译结果，长、整句建议使用 人工翻译 。
In his paper, we introduce timed automata and the algorithm of reachability analysis, and proposes an improvement algorithm of the basic successor algorithm.
本文介绍了时间自动机和可达性分析算法，并对可达性分析算法中的后继算法进行了改进。
youdao
应用推荐
模块上移
模块下移
不移动