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.
Fatma54/uppaal-xtext
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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.