缩写	全称	中文释义
TACAS	Tools and Algorithms for the Construction and Analysis of Systems	系统构造和分析的工具和算法