The UPPAAL Timed Automata Parser Library (libutap) is the parser library used by UPPAAL. It includes a type checker and supports the TA, XTA, and XML file formats.

• 是一种被UPPAAL使用的语法分析程序库。它包括一个类型检测器，并支持TA、XTA和XML文件格式。