Stand-alone facilities for interfacing Uppaal (Stratego) and pre- and postprocessing the XML representation of Uppaal models

Uppaal to C mapping:
Provides the data structures, parsers (from C code to an AST as nested dictionary), modifiers (of the AST dict), and printer (of the AST dict to C code) for the C Code Sections of Uppaal Models https://collaborating.tuhh.de/e16/project/codes/model-checking/tools/uppaal/python/uppaal\_c\_language

Uppaal model processing:
Provides the data structures, parsers (from Uppaal model XML file over an intermediate dict form to an actual object representation of the Uppaal model), modifiers (of the Uppaal model object), and printer (from Uppaal model object over an intermediate dict form to a Uppaal model XML file) for Uppaal models https://collaborating.tuhh.de/e16/project/codes/model-checking/tools/uppaal/python/uppaal\_model

Uppaal Stratego interface:
Provides an interface to the verifyta command line tool (distributed with Uppaal) https://collaborating.tuhh.de/e16/project/codes/model-checking/tools/uppaal/python/uppaal\_stratego\_interface