A parser and serializer based on Xtext for the XML file format used by UPPAAL. Files are parsed to models based on the metamodel from uppaal-metamodel.
A parser and serializer based on Xtext for the XML file format used by UPPAAL. Files are parsed to models based on the metamodel from uppaal-metamodel.