Die UPPAAL Timed Automata Parser Library (libutap) ist die Parser-Bibliothek von UPPAAL. Sie enthält einen Typ-Checker und unterstützt die Dateiformate TA, XTA und XML. (non)